JO

JoeyEremondi/lambda-pi-constraint

Migrated to https://codeberg.org/JoeyEremondi/lambda-pi-constraint

Languages

Haskell99.2%Agda0.4%Idris0.4%

Contributors

Latest Release

thesis-finalAugust 23, 2016

Other

Created November 19, 2015

Updated February 18, 2025