@hackage hout dependencies

6 results

Core data structures and operations

Haskell98 indexed functors, monads, comonads

Core data structures and operations

Haskell98 indexed functors, monads, comonads

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

Generalize do-notation to work on monads and indexed monads simultaneously.