inline fn defs

2 files changed, 6 insertions, 6 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 $ (
diff --git a/fib.kpl b/fib.kpl
index 18d074c..314dc83 100644
--- a/fib.kpl
+++ b/fib.kpl
@@ -4,7 +4,7 @@
     n can be any numeric type
 */
 
-`export fib : Fn[n] $ (
+`export fib : ([x]
     t : `type n
     ? {
         |(t = Int_signed; t = Float) {
@@ -21,11 +21,11 @@
     }
 )
 
-`export fib_string Fn[n] $ (
+`export fib_string : ([n]
     "#MAGENTA#fib#(#CYAN#%#) #WHITE#=# #GREEN#%#\n" `format (n; fib `sync n)
 )
 
-`is_main Fn $ (
+`is_main ([]
     `use "sys" [args]
     ? 3 != `length args {
         `return `error String $ (