|
|
1.1 root 1: structure Semant : FORMULA =
2: struct
3: type formula = int array array -> int
4: fun NUM i = fn a => i
5: fun CELLREF (e1,e2) = fn a => a sub e1 a sub e2 a
6: fun BINOP (f,e1,e2) = fn a => f(e1 a, e2 a)
7: fun IF (e1,e2,e3) = fn a => if e1 a <> 0 then e2 a else e3 a
8: val eval = fn x => x
9: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.