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
WIP: Split Parser into a SourceParser and PackageParser
#382
Open
fabianhjr
opened
4 years ago