Flora :: [Package]

Search a package

@hackage / rzk

An experimental proof assistant for synthetic ∞-categories

0.11.1

About 36 Versions Changelog 24 Dependencies 1 Dependent Security

About 36 Versions Changelog 24 Dependencies 1 Dependent Security

Version history

0.11.1
- Uploaded: 2 weeks ago
- License: BSD-3-Clause
0.11.0
- Uploaded: 3 weeks ago
- License: BSD-3-Clause
0.10.0
- Uploaded: 4 weeks ago
- License: BSD-3-Clause
0.9.2
- Uploaded: 4 weeks ago
- License: BSD-3-Clause
0.9.0
- Uploaded: 1 month ago
- License: BSD-3-Clause
0.8.0
- Uploaded: 2 months ago
- License: BSD-3-Clause
0.7.7
- Uploaded: 9 months ago
- License: BSD-3-Clause
0.7.6
- Uploaded: about 1 year ago
- License: BSD-3-Clause
0.7.5
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.7.4
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.7.3
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.7.2
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.7.1
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.7.0
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.6.7
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.6.6
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.6.5
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.6.4
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.6.3
- Uploaded: 2 years ago
- Revised: 2 years ago
- License: BSD-3-Clause
0.6.2
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.6.1
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.6.0
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.5.7
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.5.6
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.5.5
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.5.4
- Uploaded: 3 years ago
- Revised: 2 years ago
- License: BSD-3-Clause
0.5.3
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.5.2
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.5.1
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.5
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.4.1.1
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.4.1
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.4.0
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.3.0
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.2.0
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.1.0
- Uploaded: 3 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