From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 files/practicum/IKS.icl | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 files/practicum/IKS.icl

(limited to 'files/practicum/IKS.icl')

diff --git a/files/practicum/IKS.icl b/files/practicum/IKS.icl
deleted file mode 100644
index cdcdce9..0000000
--- a/files/practicum/IKS.icl
+++ /dev/null
@@ -1,40 +0,0 @@
-module IKS
-
-import StdEnv
-import StdMaybe
-import StdDynamic, StdDynamicFileIO
-
-/**	Een interpreter voor IKS.
-*/
-//	1. Creeer de dynamics op disk
-Start :: *World -> *World
-Start world 
-# (_,world) = writeDynamic "I" (dynamic i :: A. a: a -> a) world
-  ...
-= world
-
-i :: a -> a
-i x = x
-
-k :: a b -> a
-k x y = x
-
-s :: (a -> b -> c) (a -> b) a -> c
-s x y z = x z (y z)
-
-
-//	2. Parseren van IKS expressies
-::	IKS = I | K | S | N Int | App IKS IKS
-
-pIKS :: [Char] -> Maybe IKS
-pIKS ...
-
-
-//	3. Interpreteren van IKS expressies
-interp :: (Dynamic,Dynamic,Dynamic) IKS -> Dynamic
-interp ...
-
-
-//	4. console
-Start :: *World -> *World
-Start ...
-- 
cgit v1.2.3