|
|
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.