unstable
channel
AgdaWithPackages
A dependently typed functional programming language and proof assistant
Project websiteunstable
The package has no detailed description
2.8.0
versionYes
supportedNo
brokenFree
license80
platformsA dependently typed functional programming language and proof assistant
Project websiteunstable
The package has no detailed description
unstable
channel2.8.0
versionYes
supportedNo
brokenFree
license80
platforms