Skip to content

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

Sören Tempel requested to merge nmeum/aports:idris2-chez-scheme-0.10.0-selfhost into master

Need to wait until new idris2 is in the repos.

Merge request reports