diff src/sources @ 506:65d8541c130b

Fusing writes with recursive function calls
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Nov 2008 10:05:44 -0500
parents 685b41e85634
children 3f20c22098af
line wrap: on
line diff
--- a/src/sources	Sun Nov 23 11:47:28 2008 -0500
+++ b/src/sources	Tue Nov 25 10:05:44 2008 -0500
@@ -140,6 +140,9 @@
 pathcheck.sig
 pathcheck.sml
 
+fuse.sig
+fuse.sml
+
 cjr.sml
 
 cjr_env.sig