search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
903 stars 58 forks source link

Fixes some issues mentioned in PR #370 and #380 #383

Closed ska80 closed 4 years ago

ska80 commented 4 years ago

All valuable changes are already in Idris2-SH. Closing.