liquid-finfield: Finite field utilities for LiquidHaskell (requires cvc5)

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

Finite field utilities for LiquidHaskell (requires cvc5)

Modules

Language
- Haskell
  - Liquid
    - Language.Haskell.Liquid.FinField
      - Language.Haskell.Liquid.FinField.FF17

Downloads

liquid-finfield-0.9.12.2.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

FacundoDominguez, ranjitjhala, niki, clayrat

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.9.12.2.1
Dependencies	base (<5), liquidhaskell (>=0.9.12.2.1) [details]
License	BSD-3-Clause
Copyright	2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.
Author	Alex Gryzlov, Niki Vazou
Maintainer	Ranjit Jhala <jhala@cs.ucsd.edu>
Uploaded	by FacundoDominguez at 2026-01-14T16:03:19Z
Category	Language
Home page	https://github.com/ucsd-progsys/liquidhaskell
Distributions
Downloads	2 total (2 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2026-01-14 [all 2 reports]