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: Peridot – A functional language based on two-level type theory (github.com/eashanhatti)
151 points by ehatti on May 10, 2022 | past | 40 comments

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

Search:

HN For You