nbkolchin opened this issue 3 years ago · 0 comments
idris2 is the recommented version now. It would be nice if somebody make a port.