HN
Hacker News
Top
New
Best
Ask
Show
Jobs
caotic
30 karma · joined November 22, 2018
submissions
comments
Kei – A small and expressive dependent language
github.com
·
67 pts
·
caotic
·
15
A way of manipulate easily lambda terms
github.com
·
2 pts
·
caotic
·
0
Optional Monad in C
github.com
·
3 pts
·
caotic
·
1