From a46670f5100e6ac5e39e52d2168b754e9d614bca Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Tue, 9 Jun 2026 10:32:54 -0400
Subject: inline fn defs

---
 ack.kpl | 6 +++---
 fib.kpl | 6 +++---
 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 $ (
-- 
cgit v1.2.3