Iowa-stdlib

Agda standard library developed at Iowa

Project website

The package has no detailed description

unstable

channel

1.5.0

version

agdaPackages

set

Yes

supported

Yes

broken

Free

license

45

platforms

Other applications from the agdaPackages set