Commit Graph

17 Commits

Author SHA1 Message Date
Tony Garnock-Jones e923d87fa5 Switch from `#!` to `#:` for embedded values 2024-02-05 22:38:49 +01:00
Tony Garnock-Jones be32f9b7c8 Remove single-precision floats from the implementations 2024-01-27 14:40:37 +01:00
Tony Garnock-Jones dc1b0ac54d Remove single-precision floats from the specs 2024-01-27 11:34:51 +01:00
Tony Garnock-Jones c89147dd6a Restrict usage of commas. Bump spec version to 0.992 2023-11-01 14:13:36 +01:00
Tony Garnock-Jones fb63ac24b0 Merge branch 'main' into comment-syntax-hash-space 2023-10-31 21:15:41 +01:00
Tony Garnock-Jones 23e0e59daf Trailing comments 2023-10-31 19:32:06 +01:00
Tony Garnock-Jones 982d916b61 Minor presentation tweak to make Sequence/Set/Dictionary line up in the grammar like it does in the abstract model definition 2023-10-31 17:34:37 +01:00
Tony Garnock-Jones c0df6c83a8 Cosmetic 2023-10-29 16:45:45 +01:00
Tony Garnock-Jones 2445ab4a5a Merge branch 'main' into comment-syntax-hash-space 2023-10-29 16:44:32 +01:00
Tony Garnock-Jones 5b8c07cb3f Introduce the notion of a "delimiter" to follow Boolean and SymbolOrNumber. 2023-10-29 15:55:19 +01:00
Tony Garnock-Jones ccf277cddb Switch to "# "-prefixed text comment annotation syntax 2023-10-18 10:20:30 +02:00
Tony Garnock-Jones 9cc537abf8 Feed back clarifications from the cheatsheet version of the text grammar 2023-10-17 10:40:29 +02:00
Tony Garnock-Jones 8edb657603 Preserves really uses Unicode scalar values, not code points. 2023-10-13 14:01:21 +02:00
Tony Garnock-Jones fe9d836942 Print ordering 2023-03-22 13:35:46 +01:00
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
Tony Garnock-Jones 0feef9cc9e Clean up named links 2022-06-18 20:28:38 +02:00
Tony Garnock-Jones 7d3789e371 Split up spec! 2022-06-18 19:12:05 +02:00