@hackage / hout

Non-interactive proof assistant monad for first-order logic.

Latest0.1.0.0

Dependencies

library:hout (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / indexed Haskell98 indexed functors, monads, comonads
- Version:
- License: BSD-3-Clause

test:examples (4 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / indexed Haskell98 indexed functors, monads, comonads
- Version:
- License: BSD-3-Clause
@hackage / do-notation Generalize do-notation to work on monads and indexed monads simultaneously.
- Version:
- License: BSD-3-Clause
@hackage / hout Non-interactive proof assistant monad for first-order logic.
- Version:
- License: BSD-3-Clause