HN Explorer

caotic

↗ HN profile [ 67.5 ms ] full profile
Karma
30
Created
November 22, 2018 (7y ago)
Submissions
0
  1. Kei – A small and expressive dependent language (github.com)
    67 points 15
  2. A way of manipulate easily lambda terms (github.com)
    2 points 0
  3. Optional Monad in C (github.com)
    3 points 1