|
|
researchv10 Norman
(* Copyright 1989 by AT&T Bell Laboratories *)
signature SYMBOL = sig
type symbol
val eq: symbol * symbol -> bool
and symbol: string -> symbol
and name: symbol -> string
and number: symbol -> int
end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.