diff options
Diffstat (limited to 'example.snug')
| -rw-r--r-- | example.snug | 9 |
1 files changed, 6 insertions, 3 deletions
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) |