From 5147db71d99c38b44a29735c985de90246cda995 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Tue, 6 Dec 2022 22:20:49 +0200
Subject: Fix some stuff

---
 examples/types-concept.milch | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'examples/types-concept.milch')

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))
-- 
cgit v1.3