Hacker Newsnew | past | comments | ask | show | jobs | submit | caotic's submissionslogin
1.
Kei – A small and expressive dependent language (github.com/caotic123)
67 points by caotic on Aug 23, 2019 | past | 15 comments
2.
A way of manipulate easily lambda terms (github.com/caotic123)
2 points by caotic on Jan 8, 2019 | past
3.
Optional Monad in C (github.com/caotic123)
3 points by caotic on Nov 22, 2018 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: