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/funemy')

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


From a92d2f2a96c36e758291d7150b4ff175ec2ec768 Mon Sep 17 00:00:00 2001
From: funemy
Date: Tue, 25 Oct 2022 16:10:58 -0700
Subject: minor

---
 entries/funemy/.gitignore | 1 +
 people.json               | 4 ++++
 2 files changed, 5 insertions(+)

(limited to 'entries/funemy')

diff --git a/entries/funemy/.gitignore b/entries/funemy/.gitignore
index acb903a..3d2fbd5 100644
--- a/entries/funemy/.gitignore
+++ b/entries/funemy/.gitignore
@@ -1,3 +1,4 @@
 .DS_Store
 *.agdai
 *.smt2
+**/.koka/*
diff --git a/people.json b/people.json
index a9be376..c2db098 100644
--- a/people.json
+++ b/people.json
@@ -87,6 +87,10 @@
             {
                 "name": "symbolic",
                 "link": "./entries/funemy/symbolic/phib.py"
+            },
+            {
+                "name": "koka",
+                "link": "./entries/funemy/koka/fib.kk"
             }
         ]
     },
-- 
cgit v1.2.3-70-g09d2