hub.darcs.net :: abel -> miniagda -> issue

MiniAgda, an experimental language with sized dependent types. Moved to github. (https://github.com/andreasabel/miniagda)

#3mtl 2.2.0.1 doesn't export Control.Monad.Except

    • darcsden 1.2 beta built Jun 23 201810:48:19
    • report problems to simon