diff options
| author | Camil Staps | 2016-08-25 15:19:30 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-08-25 15:19:30 +0200 |
| commit | c8aa125b0cac24d57ce7b536e00bac550e9ccbb4 (patch) | |
| tree | 31f9dad4fcfd44bd70a830e3fee0bd9e22a4f8d5 /Brainfuck.dcl | |
| parent | Cleanup (diff) | |
Arrays for efficiency
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 |