Hacker Newsnew | past | comments | ask | show | jobs | submit | caotic123's submissionslogin
1.
I am selling a lambda expression as an NFT (opensea.io)
3 points by caotic123 on July 23, 2022 | past | 3 comments
2.
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

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

Search: