/caledon

higher order dependently typed logic programing

Primary LanguageHaskellOtherNOASSERTION

Stargazers