Hacker News new | past | comments | ask | show | jobs | submit login
Idris 2: Quantitative Type Theory in Action – Idris2.pdf (type-driven.org.uk)
4 points by EvgeniyZh 5 months ago | hide | past | favorite



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

Search: