Hacker News new | past | comments | ask | show | jobs | submit | from login
Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)
282 points by culturedsystems 51 days ago | past | 81 comments
Idris 2: Quantitative Type Theory in Action (type-driven.org.uk)
2 points by matt_d 68 days ago | past
Idris 2: Quantitative Type Theory in Action – Idris2.pdf (type-driven.org.uk)
4 points by EvgeniyZh 4 months ago | past
Linearity and Erasure in Idris 2 – Edwin Brady (type-driven.org.uk)
4 points by EvgeniyZh 6 months ago | past

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

Search: