| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-12-10 | canβt reuse Darcs reference since Assumed must be None in manifest | Β·ππ΄πππ©π€ |
| 2025-12-10 | manifest: do hash algo | Β·ππ΄πππ©π€ |
| 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 | Β·ππ΄πππ©π€ |
