Their main docs are pretty good too: http://docs.idris-lang.org | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

bjz_ on Aug 24, 2016 | parent | context | favorite | on: Types

Their main docs are pretty good too: http://docs.idris-lang.org

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