HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Show HN: Dependently typed language for proofs that you can implement in one day
github.com/caotic123
96 comments
5 years ago
caotic123
138 points
2.
▲
Kei – A small and expressive dependent language
github.com/caotic123
15 comments
7 years ago
caotic
67 points
3.
▲
Optional Monad in C
github.com/caotic123
1 comment
8 years ago
caotic
3 points
4.
▲
A way of manipulate easily lambda terms
github.com/caotic123
discuss
7 years ago
caotic
2 points