Annotation of researchv10dc/cmd/sml/doc/examples/spread/semant.sml, revision 1.1.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.