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