Mercurial > urweb
log src/elab_env.sml
age | author | description |
---|---|---|
Sun, 01 May 2011 00:26:08 -0430 | Karn Kallio | Fix bug in projection of constructors from modules in class rules. |
Tue, 26 Apr 2011 00:11:21 -0430 | Karn Kallio | Fix for projection of type class constructors in signatures. |