Hacker News new | ask | show | jobs
Idris2 is now implemented in Idris2 (github.com)
1 points by jobstijl 2222 days ago