diff options
Diffstat (limited to 'src/sources')
-rw-r--r-- | src/sources | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/sources b/src/sources index 9e2d8089..96559959 100644 --- a/src/sources +++ b/src/sources @@ -78,9 +78,6 @@ shake.sml tag.sig tag.sml -untangle.sig -untangle.sml - mono.sml mono_util.sig @@ -98,6 +95,12 @@ monoize.sml mono_opt.sig mono_opt.sml +untangle.sig +untangle.sml + +mono_reduce.sig +mono_reduce.sml + cjr.sml cjr_env.sig |