Copyright | (c) Matt Noonan 2018 |
---|---|
License | BSD-style |
Maintainer | matt.noonan@gmail.com |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
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