intensional-datatys
Version 0.2.0.0 revision 0 uploaded by eddiejones.
Package meta
- Synopsis
- A GHC Core plugin for intensional datatype refinement checking
- Description
Please see the README on GitHub at https://github.com/bristolpl/intensional-datatys#readme
- Author
- Eddie Jones, Steven Ramsay
- Bug reports
- https://github.com/bristolpl/intensional-datatys/issues
- Category
- Language
- Copyright
- 2019 Eddie Jones, Steven Ramsay
- Homepage
- https://github.com/bristolpl/intensional-datatys#readme
- Maintainer
- ej16147@bristol.ac.uk, steven.ramsay@bristol.ac.uk
- Package URL
- n/a
- Stability
- n/a