| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-12-10 | add more eq | ยท๐๐ด๐๐๐ฉ๐ค | |
| 2025-12-10 | set up QCheck | ยท๐๐ด๐๐๐ฉ๐ค | |
| 2025-12-10 | add banners! โง | ยท๐๐ด๐๐๐ฉ๐ค | |
| 2025-12-10 | further README updates | ยท๐๐ด๐๐๐ฉ๐ค | |
| 2025-12-10 | ocaml onset | ยท๐๐ด๐๐๐ฉ๐ค | |
