Flora :: [Package]

Search a package

@hackage / liquid-finfield

Finite field utilities for LiquidHaskell (requires cvc5)

0.9.12.2.1

About 1 Version Changelog 2 Dependencies 0 Dependent Security

About 1 Version Changelog 2 Dependencies 0 Dependent Security

Version history

0.9.12.2.1
- Uploaded: 7 months 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