Tony Garnock-Jones 23ba2e5a59 Clarify the strange idea of canonical-order-but-with-annotations		2024-04-18 11:30:52 +02:00
..
Makefile	Rename samples.txt -> samples.pr	2021-03-17 09:08:07 +01:00
samples.bin	Clarify the strange idea of canonical-order-but-with-annotations	2024-04-18 11:30:52 +02:00
samples.pr	Clarify the strange idea of canonical-order-but-with-annotations	2024-04-18 11:30:52 +02:00