Closed phlegmaticprogrammer closed 10 years ago
Strings must be added to ProofScript (Unicode, probably UTF-32 so that strings are linearly addressable).
Strings must be convertible to terms, and it should then also be possible to use strings within a term quotation.
Strings must be added to ProofScript (Unicode, probably UTF-32 so that strings are linearly addressable).
Strings must be convertible to terms, and it should then also be possible to use strings within a term quotation.