summaryrefslogtreecommitdiffstats
path: root/program.cm
diff options
context:
space:
mode:
Diffstat (limited to 'program.cm')
-rw-r--r--program.cm8
1 files changed, 8 insertions, 0 deletions
diff --git a/program.cm b/program.cm
new file mode 100644
index 0000000..f0fc04f
--- /dev/null
+++ b/program.cm
@@ -0,0 +1,8 @@
+Group is
+
+either.sml
+map.sml
+parser.sml
+syntax.sml
+
+$/basis.cm