5 commits

Author	SHA1	Message	Date
Edward Betts	ebc7bc5721	Improvements	2023-08-11 11:32:49 +01:00
Edward Betts	67dbfed7b4	Give up	2023-08-11 08:54:09 +01:00
Edward Betts	9cd6e6b9e3	WIP	2023-08-11 08:36:05 +01:00
Edward Betts	036c0cfbd8	Simplify checker.	2023-08-08 18:57:19 +01:00
Edward Betts	cd7c1f1e50	Initial commit.	2023-08-08 16:17:50 +01:00