diff options
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)) |