@hackage intensional-datatys0.2.0.0

A GHC Core plugin for intensional datatype refinement checking

Categories
License
BSD-3-Clause
Maintainer
ej16147@bristol.ac.uk, steven.ramsay@bristol.ac.uk
Links
Versions
- 0.2.0.0 Fri, 24 Jul 2020

Installation
In your cabal file:
Dependencies (17)
- aeson ==1.5.2.0
- base >=4 && <5
- containers ==0.6.2.1
- directory ==1.3.6.0
- extra ==1.7.4
- filepath ==1.4.2.1
Dependents (0)

Package Flags

bbenchmarks

(off by default)

Build the benchmark management script

Please see the README on GitHub at https://github.com/bristolpl/intensional-datatys#readme