Idris2 is now implemented in Idris2 Posted by jobstijl on Wednesday May 20, 2020 @10:22AM from the github.com dept. https://github.com/idris-lang/Idris2/ ( no comments | on HN )
There are no comments yet.