Mercurial > urweb
log src/elab_env.sig
age | author | description |
---|---|---|
Thu, 09 Apr 2009 12:31:56 -0400 | Adam Chlipala | Made type class system very general; demo compiles |
age | author | description |
---|---|---|
Thu, 09 Apr 2009 12:31:56 -0400 | Adam Chlipala | Made type class system very general; demo compiles |