stefan-hoeck / idris2-packLinks
☆126Updated 3 weeks ago
Alternatives and similar repositories for idris2-pack
Users that are interested in idris2-pack are comparing it to the libraries listed below
Sorting:
- Language Server for Idris2☆181Updated this week
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆83Updated last week
- ☆233Updated 2 weeks ago
- Compiling Agda code to readable Haskell☆190Updated 3 weeks ago