Annotation of researchv10dc/cmd/sml/doc/examples/spread/semant.sml, revision 1.1

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

unix.superglobalmegacorp.com

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