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/types-concept.milch | |
| parent | d8850b22d21e1a034ed558289c08d36ddd2f796d (diff) | |
Fix some stuff
Diffstat (limited to 'examples/types-concept.milch')
| -rw-r--r-- | examples/types-concept.milch | 6 |
1 files changed, 3 insertions, 3 deletions
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)) |