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