idris-lang

idris-lang/Idris2

A purely functional programming language with first class types

2.7K stars 0 forks 0 watchers Idris

compiler dependent-types hacktoberfest

2 Open Issues Need Help Last updated: Aug 6, 2025

Open Issues Need Help

View All on GitHub

Build Systems • Compiler Toolchains

Statically enforce that all the logging options are documented 28 days ago

documentation good first issue interactive: debug code: cleanup

idris-lang/Idris2

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 about 1 month ago

good first issue syntax implem: string

idris-lang/Idris2

2.7K

A purely functional programming language with first class types

Idris

#compiler#dependent-types#hacktoberfest