For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Show HN: Dependently typed language for proofs that you can implement in one day (github.com/caotic123)
138 points by caotic123 on Oct 2, 2021 | past | 96 comments
Kei – A small and expressive dependent language (github.com/caotic123)
67 points by caotic on Aug 23, 2019 | past | 15 comments
A way of manipulate easily lambda terms (github.com/caotic123)
2 points by caotic on Jan 8, 2019 | past
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:

HN For You