Tony Garnock-Jones e923d87fa5 Switch from `#!` to `#:` for embedded values		2024-02-05 22:38:49 +01:00
..
Makefile	Corrections to preserves-schema host-type generation; extract host-type schema	2023-12-17 11:01:46 +13:00
host.bin	Corrections to preserves-schema host-type generation; extract host-type schema	2023-12-17 11:01:46 +13:00
host.prs	Corrections to preserves-schema host-type generation; extract host-type schema	2023-12-17 11:01:46 +13:00
schema.bin	Remove single-precision floats from the implementations	2024-01-27 14:40:37 +01:00
schema.prs	Switch from `#!` to `#:` for embedded values	2024-02-05 22:38:49 +01:00