The latest version of liquid-prelude is 0.9.2.8.2-0.

liquid-prelude

Version 0.8.10.2 revision 0 uploaded by AlfredoDiNapoli.

Package meta

Synopsis
General utility modules for LiquidHaskell
Description

General utility modules for LiquidHaskell.

Author
Ranjit Jhala, Niki Vazou, Eric Seidel
Bug reports
n/a
Category
Language
Copyright
2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.
Homepage
https://github.com/ucsd-progsys/liquidhaskell
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Package URL
n/a
Stability
n/a

Components