From 4349838a315de8ac9ad51ca2e0fa6f80f24f9241 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 5 Mar 2023 19:47:49 +0100
Subject: Implement ap

---
 example.snug | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'example.snug')

diff --git a/example.snug b/example.snug
index 33d4dab..035934d 100644
--- a/example.snug
+++ b/example.snug
@@ -73,7 +73,10 @@
 		(Cons _ xs -> length_acc (+ n 1) xs)))
 #)
 
-(fun testb ((x : Int) (y : Char)) : Tuple Int Char :
+
+(fun unary ((x : Int)) : Tuple Int Int :
+	binary x)
+(fun binary ((x : Int) (y : Int)) : Tuple Int Int :
 	Tuple x y)
-(fun test () : Tuple Int Char :
-	testb 37 'a')
+(fun test () : Tuple Int Int :
+	unary 37 42)
-- 
cgit v1.2.3