Idris2 is now implemented in Idris2(github.com)1 points by jobstijl 6 years ago | 0 commentsNo comments yet