w

monad-deduction-test +RTS -N -pj -s -hc -i0.1

2025-09-30 00:38:00 UTC (uploaded 2025-09-29 18:46:14 UTC); download .hp

(Edit)