Repository Issues

idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

View on GitHub
Haskell (3,473 stars) (631 forks) (690 indexed issues)Last commit Feb 17, 2025

Issues

0 indexed issues

No open indexed issues found for this repository.