From 0269509a887fb154f32b88f5dfbeb883e16f628c Mon Sep 17 00:00:00 2001
From: funemy
Date: Tue, 25 Oct 2022 16:00:17 -0700
Subject: learning new language

---
 entries/funemy/koka/fib.kk | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 entries/funemy/koka/fib.kk

(limited to 'entries')

diff --git a/entries/funemy/koka/fib.kk b/entries/funemy/koka/fib.kk
new file mode 100644
index 0000000..5b7e66b
--- /dev/null
+++ b/entries/funemy/koka/fib.kk
@@ -0,0 +1,12 @@
+effect fib
+  ctl fib(n : int) : int
+
+fun doFib(inp : int) : div int
+  with ctl fib(n)
+    if n == 0 then 0
+    else if n == 1 then 1
+    else (doFib(n - 1) : int) + doFib(n - 2)
+  fib(inp)
+
+fun main()
+  print(doFib(20))
-- 
cgit v1.2.3-70-g09d2