log src/compiler.sig

age author description
Tue, 16 Mar 2010 15:39:16 -0400 Adam Chlipala Remove unpoly1
Tue, 09 Mar 2010 18:28:44 -0500 Adam Chlipala safeGet
Sat, 06 Mar 2010 19:14:48 -0500 Adam Chlipala Got split1 working, but noticed a nasty type inference bug with transplanted unification variables