blob: 672fb0485d67b32eabf213f53ae8b6ed4c227c37 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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
|
