|
|
1.1 root 1: signature FORMULA =
2: sig
3: type formula
4: val NUM : int -> formula
5: val CELLREF : formula * formula -> formula
6: val BINOP : (int*int->int) * formula * formula -> formula
7: val IF : formula * formula * formula -> formula
8: val eval : formula -> int array array -> int
9: end
10:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.