Initial commit

1 files changed, 18 insertions, 0 deletions

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