@hackage liquidhaskell0.3.0.0

Liquid Types for Haskell

Categories
- Language
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
Versions
- 0.9.10.1 Wed, 21 Aug 2024
- 0.9.8.2 Wed, 21 Aug 2024
- 0.9.8.1 Mon, 5 Feb 2024
- 0.9.6.3.1 Thu, 7 Mar 2024
- 0.9.6.3 Mon, 29 Jan 2024
- 0.9.4.7.0 Wed, 6 Dec 2023

Installation
In your cabal file:
Dependencies (33)
Dependents (17)
@hackage/impure-containers, @hackage/liquid-platform, @hackage/target, @hackage/grow-vector, @hackage/acme-everything, @hackage/raaz, Show all…

Liquid Types for Haskell.