diff src/sources @ 453:787d4931fb07
Almost have that nested save function compiling
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Sat, 01 Nov 2008 21:19:43 -0400 |
| parents |
85819353a84f |
| children |
9163f8014f9b |
line diff
--- a/src/sources Sat Nov 01 17:19:12 2008 -0400
+++ b/src/sources Sat Nov 01 21:19:43 2008 -0400
@@ -116,15 +116,15 @@
monoize.sig
monoize.sml
+mono_reduce.sig
+mono_reduce.sml
+
mono_opt.sig
mono_opt.sml
untangle.sig
untangle.sml
-mono_reduce.sig
-mono_reduce.sml
-
mono_shake.sig
mono_shake.sml
