Tony Garnock-Jones 269ed2391a Repair text syntax for numbers and symbols. Closes #19/#36/#37/#38. ... Numbers and (bare) Symbols are now disambiguated after reading, which permits leading `+`, leading `0`, and a wider range of acceptable Symbols. Updates spec text, test cases, and implementations. Some ancillary fixes to Python's comparison routines are also included.		2022-11-08 19:56:24 +01:00
..
Makefile	Rename samples.txt -> samples.pr	2021-03-17 09:08:07 +01:00
samples.bin	Repair text syntax for numbers and symbols. Closes #19/#36/#37/#38.	2022-11-08 19:56:24 +01:00
samples.pr	Repair text syntax for numbers and symbols. Closes #19/#36/#37/#38.	2022-11-08 19:56:24 +01:00