Skip to content

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

Sören Tempel requested to merge nmeum/aports:idris2-self-host-with-9.6.4 into master

Merge request reports