Commit graph

3 commits

Author SHA1 Message Date
41cd56fa54 Experiment with proptest 2026-04-05 16:52:53 -03:00
ca20c11962 Adapt code from iganaq 2026-03-30 08:23:48 -03:00
db0fba664c OCaml: Add coverage reporting 2025-04-15 20:57:00 -03:00