Tony Garnock-Jones e923d87fa5 Switch from `#!` to `#:` for embedded values		2024-02-05 22:38:49 +01:00
..
__init__.py	Remove single-precision floats from the implementations	2024-01-27 14:40:37 +01:00
binary.py	Remove single-precision floats from the implementations	2024-01-27 14:40:37 +01:00
compare.py	Remove single-precision floats from the implementations	2024-01-27 14:40:37 +01:00
compat.py	Python text codec	2021-08-17 08:04:38 -04:00
error.py	More docs. That's the lot for python now except path and schema.	2023-03-17 00:07:27 +01:00
fold.py	Switch from `#!` to `#:` for embedded values	2024-02-05 22:38:49 +01:00
merge.py	str() for Symbol	2023-11-10 17:38:21 +01:00
path.prb	Remove single-precision floats from the implementations	2024-01-27 14:40:37 +01:00
path.py	Remove single-precision floats from the implementations	2024-01-27 14:40:37 +01:00
schema.prb	Remove single-precision floats from the implementations	2024-01-27 14:40:37 +01:00
schema.py	Remove single-precision floats from the implementations	2024-01-27 14:40:37 +01:00
text.py	Switch from `#!` to `#:` for embedded values	2024-02-05 22:38:49 +01:00
values.py	Switch from `#!` to `#:` for embedded values	2024-02-05 22:38:49 +01:00