Mercurial > urweb
log src/elab_env.sml
| age | author | description |
|---|---|---|
| Thu, 26 Mar 2009 15:54:04 -0400 | Adam Chlipala | Enforce termination of type class instances |
| Thu, 26 Mar 2009 15:13:36 -0400 | Adam Chlipala | Type class inclusions |
| Thu, 26 Mar 2009 14:37:31 -0400 | Adam Chlipala | Type class reductions, but no inclusions yet |
| Sun, 22 Feb 2009 16:10:25 -0500 | Adam Chlipala | Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
| Fri, 19 Dec 2008 10:03:31 -0500 | Adam Chlipala | Initial conversion to arbitrary-kind classes |
| Thu, 27 Nov 2008 11:06:10 -0500 | Adam Chlipala | Catch another unneeded lift in ElabEnv.pushCRel |
| Thu, 27 Nov 2008 10:40:29 -0500 | Adam Chlipala | Remove unnecessary lifts in ElabEnv.pushCRel |