3 Commits

Author	SHA1	Message	Date
Hassan Abedi	a8ac280b02	Add a few property-based tests	2026-03-09 17:42:33 +01:00
Hassan Abedi	a80e760b71	Clean up the project	2026-03-09 11:22:38 +01:00
Hassan Abedi	1355e40b50	Make an early working version	2026-03-09 11:12:18 +01:00