Flora :: [Package]

Search a package

@hackage / liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

About 36 Versions Changelog 32 Dependencies 6 Dependents Security

About 36 Versions Changelog 32 Dependencies 6 Dependents Security

Version history

8.10.7Version Deprecated
- Uploaded: 4 years ago
- Revised: 3 years ago
- License: BSD-3-Clause
0.9.6.3.7
- Uploaded: 3 weeks ago
- License: BSD-3-Clause
0.9.6.3.6
- Uploaded: 1 month ago
- License: BSD-3-Clause
0.9.6.3.5
- Uploaded: 5 months ago
- License: BSD-3-Clause
0.9.6.3.4Version Deprecated
- Uploaded: 5 months ago
- License: BSD-3-Clause
0.9.6.3.3
- Uploaded: about 1 year ago
- License: BSD-3-Clause
0.9.6.3.2
- Uploaded: about 1 year ago
- License: BSD-3-Clause
0.9.6.3.1
- Uploaded: about 1 year ago
- License: BSD-3-Clause
0.9.6.3
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.9.4.7
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.9.2.5
- Uploaded: 2 years ago
- License: BSD-3-Clause
0.9.0.2.1
- Uploaded: 3 years ago
- License: BSD-3-Clause
0.8.10.7
- Uploaded: 4 years ago
- Revised: 3 years ago
- License: BSD-3-Clause
0.8.10.2
- Uploaded: 5 years ago
- License: BSD-3-Clause
0.8.10.1
- Uploaded: 5 years ago
- License: BSD-3-Clause
0.8.0.2
- Uploaded: 6 years ago
- Revised: 6 years ago
- License: BSD-3-Clause
0.7.0.7
- Uploaded: 8 years ago
- License: BSD-3-Clause
0.7.0.6
- Uploaded: 8 years ago
- License: BSD-3-Clause
0.7.0.5
- Uploaded: 8 years ago
- License: BSD-3-Clause
0.7.0.3
- Uploaded: 8 years ago
- License: BSD-3-Clause
0.7.0.2
- Uploaded: 8 years ago
- License: BSD-3-Clause
0.7.0.1
- Uploaded: 8 years ago
- License: BSD-3-Clause
0.6.0.1
- Uploaded: 9 years ago
- License: BSD-3-Clause
0.5.0.1
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.5.0.0
- Uploaded: 10 years ago
- License: BSD-3-Clause
0.4.0.0
- Uploaded: 11 years ago
- Revised: 11 years ago
- License: BSD-3-Clause
0.3.0.1
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.3.0.0
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.2.3.2
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.2.3.1
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.2.3.0
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.2.2.0
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.2.1.1
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.2.1.0
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.2.0.0
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.1.0.0
- Uploaded: 12 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