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