diff options
Diffstat (limited to 'Brainfuck.dcl')
| -rw-r--r-- | Brainfuck.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Brainfuck.dcl b/Brainfuck.dcl index 133e34d..50179ed 100644 --- a/Brainfuck.dcl +++ b/Brainfuck.dcl @@ -25,11 +25,11 @@ definition module Brainfuck import StdEnv, StdList :: Command = INC | DEC | INCP | DECP | OUT | IN | IFZ | IFNZ -:: Program :== [Command] +:: Program :== {Command} :: InstrPointer :== Int :: Cell :== Int -:: Tape :== [Cell] +:: *Tape :== *{#Cell} :: DataPointer :== Int run :: Program *env -> *env | FileSystem env |