update

mcdearman · Jul 5, 2024 · db73c8a · db73c8a
1 parent 57bccd6
commit db73c8a
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/examples/mvp.scm b/examples/mvp.scm
@@ -109,15 +109,3 @@ x
 ; => #u8(1 2 3)
 
 (def (compose f g x) (f (g x)))
-; => compose : (a -> b) -> (c -> a) -> c -> b = <fn>
-
-; with type annotations
-(def (compose (a b c) 
-       (f : (a -> b)) 
-       (g : (c -> a)) 
-       (x : c) 
-      : c -> b)
-  (f (g x)))
-
-(-> (a b c) (-> a b) (-> c a) c b)
-(def (compose f g x) (f (g x)))