From d6af8d48172d07cfa017cdc752c31960953012e8 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 22 May 2015 16:37:49 +0200
Subject: Initial commit

---
 Brainfuck.dcl | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 Brainfuck.dcl

(limited to 'Brainfuck.dcl')

diff --git a/Brainfuck.dcl b/Brainfuck.dcl
new file mode 100644
index 0000000..672fb04
--- /dev/null
+++ b/Brainfuck.dcl
@@ -0,0 +1,18 @@
+definition module Brainfuck
+
+import StdEnv, StdList
+
+:: Command = INC | DEC | INCP | DECP | OUT | IN | IFZ | IFNZ
+:: Program :== [Command]
+:: InstrPointer :== Int
+
+:: Cell :== Int
+:: Tape :== [Cell]
+:: DataPointer :== Int
+
+:: Output :== [Cell]
+:: Input :== [Cell]
+
+run :: Program Input *env -> *env | FileSystem env
+
+read :: String -> Program
-- 
cgit v1.2.3