Skip to content

community/idris2: self host again after chez-scheme-0.10.0 rebootstrap

Need to wait until new idris2 is in the repos.

Merge request reports

Loading