issues
search
edwinb
/
Idris2-boot
A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
903
stars
58
forks
source link
Allow newer idris than 1.3.2
#392
Closed
melted
closed
4 years ago