@hackage liquidhaskell0.4.0.1

Liquid Types for Haskell

Categories
- Language
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
Versions
- 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
- 0.9.2.8.0 Sun, 19 Nov 2023
- 0.9.2.5.0 Wed, 18 Oct 2023

Liquid Types for Haskell.

Installation
In your cabal file:
Dependencies (0)
Dependents (14)
@hackage/liquid-platform, @hackage/grow-vector, @hackage/raaz, @hackage/liquid-prelude, @hackage/cl3, @hackage/liquid-bytestring, Show all…