Hacker News new | past | comments | ask | show | jobs | submit login
Linearity and Erasure in Idris 2 – Edwin Brady (type-driven.org.uk)
4 points by EvgeniyZh 7 months ago | hide | past | favorite



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

Search: