Flora :: [Package]

Search a package

@hackage / idris

Functional Programming Language with Dependent Types

1.3.4

About 71 Versions Changelog 48 Dependencies 1 Dependent Security

About 71 Versions Changelog 48 Dependencies 1 Dependent Security

Version history

1.3.4
- Uploaded: 4 years ago
- License: BSD-3-Clause
1.3.3
- Uploaded: 6 years ago
- License: BSD-3-Clause
1.3.2
- Uploaded: 7 years ago
- License: BSD-3-Clause
1.3.1
- Uploaded: 7 years ago
- License: BSD-3-Clause
1.3.0
- Uploaded: 8 years ago
- License: BSD-3-Clause
1.2.0
- Uploaded: 8 years ago
- License: BSD-3-Clause
1.1.1
- Uploaded: 9 years ago
- License: BSD-3-Clause
1.1.0
- Uploaded: 9 years ago
- License: BSD-3-Clause
1.0
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.99.2
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.99.1
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.99
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.12.3
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.12.2
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.12.1
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.12
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.11.2
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.11.1
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.11
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.10.3
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.10.2
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.10.1
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.10
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.9.20.2
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.9.20.1
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.9.20
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.9.19.1
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.9.19
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.9.18.1
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.9.18
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.9.17.1
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.9.17
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.9.16
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.9.15.1
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.9.15
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.9.14.3
- Uploaded: 11 years ago
- Revised: 11 years ago
- License: BSD-3-Clause
0.9.14.2
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.14.1
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.14
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.13.1
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.13
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.12
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.11.2
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.11.1
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.11
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.10.1
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.10
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.9.3
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.9.2
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.9.1
- Uploaded: 12 years ago
- License: BSD-3-Clause
0.9.9
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.8
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.7
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.6.1
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.6
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.5.1
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.5
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.4.1
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.4
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.3.1
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.3
- Uploaded: 13 years ago
- License: BSD-3-Clause
0.9.2.1
- Uploaded: 14 years ago
- License: BSD-3-Clause
0.9.2
- Uploaded: 14 years ago
- License: BSD-3-Clause
0.9.1
- Uploaded: 14 years ago
- License: BSD-3-Clause
0.9.0
- Uploaded: 14 years ago
- License: BSD-3-Clause
0.1.7.1
- Uploaded: 15 years ago
- License: BSD-3-Clause
0.1.7
- Uploaded: 15 years ago
- License: BSD-3-Clause
0.1.5
- Uploaded: 16 years ago
- License: BSD-3-Clause
0.1.4
- Uploaded: 16 years ago
- License: BSD-3-Clause
0.1.3.1
- Uploaded: 16 years ago
- License: BSD-3-Clause
0.1.3
- Uploaded: 16 years ago
- License: BSD-3-Clause

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