1 files changed, 3 insertions, 3 deletions
diff --git a/ack.kpl b/ack.kpl
index 3aa6c1d..2161836 100644
--- a/ack.kpl
+++ b/ack.kpl
@@ -1,7 +1,7 @@
 
 // Ackermann function
 
-`export ack : Fn[m; n] $ (
+`export ack : ([m; n]
     t : `type m;
     ? t != `type n {
         `panic "m and n must be the same type"
@@ -16,11 +16,11 @@
     }
 )
 
-`export ack_string : Fn[m; n] $ (
+`export ack_string : ([m; n]
     "#MAGENTA#ack#(#CYAN#%#, #CYAN#%#) #WHITE#=# #GREEN#%#\n" `format (m; n; ack `sync (m; n))
 )
 
-`is_main Fn $ (
+`is_main ([]
     `use "sys" [args]
     ? 4 != `length args {
          `return `error String $ (