Fork me on GitHub

A Dependently Typed Functional Programming Language

Score Last Calculated: 8 days ago

Open Issues

Problems with effect order in effects library

Default interface resolution with parametric types is odd

Does not build with cabal, 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: 42
Master commits last 6 months: 30