1. 3
    C&C - Examining Hackage: logict haskell jozefg.bitbucket.org
    jozefg avatar via jozefg 3 years ago | cached | 1 comment

  1.  

  2. 3
    ika avatar ika 3 years ago | link

    It would be a good idea to read the paper before checking out the implementation http://okmij.org/ftp/Computation/monads.html#LogicT