Hacker News new | past | comments | ask | show | jobs | submit login
Idris 2: Quantitative Type Theory in Action (type-driven.org.uk)
2 points by matt_d 87 days ago | hide | past | favorite



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

Search: