Open Issues Need Help
View All on GitHub Build Systems • Compiler Toolchains
Statically enforce that all the logging options are documented about 2 months ago
documentation good first issue interactive: debug code: cleanup
idris-lang/Idris2 idris-lang/Idris2 A purely functional programming language with first class types
Open project →
2.7K
A purely functional programming language with first class types
Idris
#compiler#dependent-types#hacktoberfest
Build Systems • Compiler Toolchains
Deprecate old multi-line syntax 2 months ago
good first issue syntax implem: string
idris-lang/Idris2 idris-lang/Idris2 A purely functional programming language with first class types
Open project →
2.7K
A purely functional programming language with first class types
Idris
#compiler#dependent-types#hacktoberfest