Fork me on GitHub

A Dependently Typed Functional Programming Language http://idris-lang.org

Score Last Calculated: about 14 hours ago


Open Issues

Problems with effect order in effects library

Default interface resolution with parametric types is odd

Does not build with cabal 2.4.0.0, breaks ghc-boot-8.6.2

Trying to extract a string from a pointer.

Relative pathes in ipkg (e.g. sourcedir) shold be treated realtive to the ipkg-file (and not the current working directory)

Fork: false
Description present: true
Homepage present: true
Readme present: true
Contributing present: true
License present: true
Changelog present: true
Tests present: true
Code of conduct present: false
Issues enabled: true
Open issues last 6 months: 13
Master commits last 6 months: 30