diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-06 17:37:43 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-06 17:37:43 +0200 |
| commit | e529e0e48c999fccb216bd3f3bc948abe22dbe76 (patch) | |
| tree | 18449b06ef564a2ec6a03dd53a4209b61bbd16e0 /examples/import.milch | |
| parent | e73ad00f44479e3065ccf12d07ca3ae22ca1f3f0 (diff) | |
Clean up examples, stdlib
Diffstat (limited to 'examples/import.milch')
| -rw-r--r-- | examples/import.milch | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/examples/import.milch b/examples/import.milch deleted file mode 100644 index 47a7477..0000000 --- a/examples/import.milch +++ /dev/null @@ -1,2 +0,0 @@ -(import "stdlib/common.milch") -(import M "stdlib/maybe.milch") |