@hackage liquid-finfield0.9.12.2.1

Finite field utilities for LiquidHaskell (requires cvc5)

Categories
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.9.12.2.1 Wed, 14 Jan 2026

Installation
In your cabal file:
Dependencies (2)
- base <5
- liquidhaskell >=0.9.12.2.1
Dependents (0)

Finite field utilities for LiquidHaskell (requires cvc5)