Mercurial > urweb
comparison lib/ur/monad.urs @ 1454:96353138f016
Fix bug in projection of constructors from modules in class rules.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Sun, 01 May 2011 00:26:08 -0430 |
parents | 0bf73c3e4563 |
children | a613cae954ca |
comparison
equal
deleted
inserted
replaced
1453:03642b83b57b | 1454:96353138f016 |
---|