Flora :: [Package]

Search a package

@hackage / uAgda

A simplistic dependently-typed language with parametricity.

1.2.0.4

About 9 Versions Changelog 0 Dependency 1 Dependent Security

About 9 Versions Changelog 0 Dependency 1 Dependent Security

Version history

1.2.0.4
- Uploaded: 14 years ago
- License: LicenseRef-OtherLicense
1.2.0.3
- Uploaded: 14 years ago
- License: LicenseRef-OtherLicense
1.2.0.2
- Uploaded: 14 years ago
- License: LicenseRef-OtherLicense
1.2.0.1
- Uploaded: 14 years ago
- License: LicenseRef-OtherLicense
1.2.0.0
- Uploaded: 14 years ago
- License: LicenseRef-OtherLicense
1.1.0.0
- Uploaded: 15 years ago
- License: LicenseRef-OtherLicense
1.0.0.2
- Uploaded: 15 years ago
- License: LicenseRef-OtherLicense
1.0.0.1
- Uploaded: 15 years ago
- License: LicenseRef-OtherLicense
1.0.0.0
- Uploaded: 15 years ago
- License: LicenseRef-OtherLicense

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio