| Copyright | (c) Matt Noonan 2018 |
|---|---|
| License | BSD-style |
| Maintainer | matt.noonan@gmail.com |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
GDP
Description
Documentation
module Data.Arguments
module Data.Refined
module Data.The
module Logic.Classes
module Logic.Implicit
module Logic.NegClasses
module Logic.Proof
module Logic.Propositional
module Theory.Equality
module Theory.Named