@hackage liquid-platform0.8.10.1

A battery-included platform for LiquidHaskell

Categories
License
BSD-3-Clause
Maintainer
Ranjit Jhala <jhala@cs.ucsd.edu>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.9.2.8 Mon, 29 Jan 2024
- 0.9.2.5 Wed, 18 Oct 2023
- 0.9.0.2 Fri, 10 Mar 2023
- 0.8.10.2 Tue, 25 Aug 2020
- 0.8.10.1 Wed, 29 Jul 2020

Installation
In your cabal file:
Dependencies (0)
- base >=4.8.1.0 && <5
- cmdargs
- cmdargs >=0.10 && <0.11
- hint
- hscolour
- liquid-base >=4.14.0.0 && <5
Dependents (0)

Package Flags

devel

(off by default)

turn on stricter error reporting for development

A battery-included platform for LiquidHaskell.