Return to semant.sml CVS log

Up to [Research Unix] / researchv10dc / cmd / sml / doc / examples / spread

researchv10 Dan Cross

structure Semant : FORMULA =
struct
     type formula = int array array -> int
     fun NUM i = fn a => i
     fun CELLREF (e1,e2) = fn a => a sub e1 a sub e2 a
     fun BINOP (f,e1,e2) = fn a => f(e1 a, e2 a)
     fun IF (e1,e2,e3) = fn a => if e1 a <> 0 then e2 a else e3 a
     val eval = fn x => x
end

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.