diff options
| -rw-r--r-- | program.cm | 8 |
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 |
