diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-06 22:20:49 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-06 22:34:36 +0200 |
| commit | 5147db71d99c38b44a29735c985de90246cda995 (patch) | |
| tree | 7bd34c504b64fa71827a7a56764a1adb253b2c17 /examples | |
| parent | d8850b22d21e1a034ed558289c08d36ddd2f796d (diff) | |
Fix some stuff
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/aoc22_1.milch | 3 | ||||
| -rw-r--r-- | examples/types-concept.milch | 6 |
2 files changed, 5 insertions, 4 deletions
diff --git a/examples/aoc22_1.milch b/examples/aoc22_1.milch index ca7bea1..5d7b21b 100644 --- a/examples/aoc22_1.milch +++ b/examples/aoc22_1.milch @@ -1,4 +1,5 @@ -(import "core/common.milch") +(import "core/common") +(import "core/result") ;; utils diff --git a/examples/types-concept.milch b/examples/types-concept.milch index a2126d9..c583314 100644 --- a/examples/types-concept.milch +++ b/examples/types-concept.milch @@ -4,14 +4,14 @@ ; lowercase types: polymorphic ; everything else: monomorphic -(type compose (\[ +(type . (\[ (\[b] c) ; f (\[a] b)] ; g (\[a] c))) (let - compose (\[f g] (\[x] (f (g x))))) + . (\[f g] (\[x] (f (g x))))) -((compose (+ 1) (+ 2)) 3) +((. (+ 1) (+ 2)) 3) (type id (\[a] a)) (let id (\[a] a)) |