Flora :: [Package]

Search a package

@hackage / Agda

A dependently typed functional programming language and proof assistant

2.8.0

About 46 Versions Changelog 54 Dependencies 14 Dependents Security

About 46 Versions Changelog 54 Dependencies 14 Dependents Security

Version history

2.8.0
- Uploaded: 11 months ago
- Revised: 2 months ago
- License: MIT
2.7.0.1
- Uploaded: about 1 year ago
- Revised: about 1 year ago
- License: MIT
2.7.0Version Deprecated
- Uploaded: about 1 year ago
- License: MIT
2.6.4.3
- Uploaded: 2 years ago
- Revised: 4 months ago
- License: MIT
2.6.4.2Version Deprecated
- Uploaded: 2 years ago
- License: MIT
2.6.4.1
- Uploaded: 2 years ago
- Revised: 2 years ago
- License: MIT
2.6.4
- Uploaded: 2 years ago
- Revised: 2 years ago
- License: MIT
2.6.3.1
- Uploaded: 4 months ago
- License: LicenseRef-OtherLicense
2.6.3
- Uploaded: 3 years ago
- Revised: 2 years ago
- License: LicenseRef-OtherLicense
2.6.2.2
- Uploaded: 4 years ago
- Revised: 3 years ago
- License: LicenseRef-OtherLicense
2.6.2.1
- Uploaded: 4 years ago
- Revised: 4 years ago
- License: LicenseRef-OtherLicense
2.6.2
- Uploaded: 5 years ago
- License: LicenseRef-OtherLicense
2.6.1.3
- Uploaded: 5 years ago
- License: LicenseRef-OtherLicense
2.6.1.2Version Deprecated
- Uploaded: 5 years ago
- License: LicenseRef-OtherLicense
2.6.1.1Version Deprecated
- Uploaded: 5 years ago
- License: LicenseRef-OtherLicense
2.6.1Version Deprecated
- Uploaded: 6 years ago
- License: LicenseRef-OtherLicense
2.6.0.1
- Uploaded: 7 years ago
- License: LicenseRef-OtherLicense
2.6.0Version Deprecated
- Uploaded: 7 years ago
- License: LicenseRef-OtherLicense
2.5.4.2
- Uploaded: 7 years ago
- License: LicenseRef-OtherLicense
2.5.4.1Version Deprecated
- Uploaded: 8 years ago
- License: LicenseRef-OtherLicense
2.5.4Version Deprecated
- Uploaded: 8 years ago
- License: LicenseRef-OtherLicense
2.5.3
- Uploaded: 8 years ago
- Revised: 8 years ago
- License: LicenseRef-OtherLicense
2.5.2
- Uploaded: 9 years ago
- Revised: 9 years ago
- License: LicenseRef-OtherLicense
2.5.1.2
- Uploaded: 9 years ago
- License: LicenseRef-OtherLicense
2.5.1.1Version Deprecated
- Uploaded: 10 years ago
- Revised: 9 years ago
- License: LicenseRef-OtherLicense
2.5.1Version Deprecated
- Uploaded: 10 years ago
- License: LicenseRef-OtherLicense
2.4.2.5
- Uploaded: 10 years ago
- Revised: 10 years ago
- License: LicenseRef-OtherLicense
2.4.2.4
- Uploaded: 10 years ago
- Revised: 9 years ago
- License: LicenseRef-OtherLicense
2.4.2.3
- Uploaded: 11 years ago
- Revised: 11 years ago
- License: LicenseRef-OtherLicense
2.4.2.2
- Uploaded: 11 years ago
- Revised: 11 years ago
- License: LicenseRef-OtherLicense
2.4.2.1
- Uploaded: 11 years ago
- License: LicenseRef-OtherLicense
2.4.2
- Uploaded: 12 years ago
- Revised: 11 years ago
- License: LicenseRef-OtherLicense
2.4.0.2
- Uploaded: 12 years ago
- Revised: 11 years ago
- License: LicenseRef-OtherLicense
2.4.0.1
- Uploaded: 12 years ago
- License: LicenseRef-OtherLicense
2.4.0
- Uploaded: 12 years ago
- License: LicenseRef-OtherLicense
2.3.2.2
- Uploaded: 12 years ago
- License: LicenseRef-OtherLicense
2.3.2.1
- Uploaded: 13 years ago
- License: LicenseRef-OtherLicense
2.3.2
- Uploaded: 13 years ago
- License: LicenseRef-OtherLicense
2.3.0.1
- Uploaded: 14 years ago
- License: LicenseRef-OtherLicense
2.3.0
- Uploaded: 14 years ago
- License: LicenseRef-OtherLicense
2.2.10
- Uploaded: 15 years ago
- License: LicenseRef-OtherLicense
2.2.8
- Uploaded: 15 years ago
- License: LicenseRef-OtherLicense
2.2.6
- Uploaded: 16 years ago
- License: LicenseRef-OtherLicense
2.2.4
- Uploaded: 17 years ago
- License: LicenseRef-OtherLicense
2.2.2
- Uploaded: 17 years ago
- License: LicenseRef-OtherLicense
2.2.0
- Uploaded: 17 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