log src/especialize.sml

age author description
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag
Sun, 22 Feb 2009 17:17:01 -0500 Adam Chlipala demo/hello compiles with kind polymorphism
Thu, 27 Nov 2008 12:43:28 -0500 Adam Chlipala Avoid Especializing polymorphic code