issues
search
edwinb
/
Idris2-boot
A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902
stars
58
forks
source link
Port prelude's inline API documentation from Idris 1
#305
Closed
ska80
closed
4 years ago
edwinb
commented
4 years ago
Thanks! We'd better make the doc comments meaningful soon too...
Thanks! We'd better make the doc comments meaningful soon too...