1. 3
    C&C - Examining Hackage: logict haskell jozefg.bitbucket.org
    jozefg avatar via jozefg 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  1. 3
    ika avatar ika 8 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