From c8aa125b0cac24d57ce7b536e00bac550e9ccbb4 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 25 Aug 2016 15:19:30 +0200
Subject: Arrays for efficiency

---
 Brainfuck.dcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Brainfuck.dcl')

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
-- 
cgit v1.2.3