yoohaemin/decrel Issues
Consistent apis for creating proofs
Updated 2Set boundaries for errors
UpdatedDrop `Rel` in `Proof` (?)
Updated`mapK` on `module`
UpdatedAdd support for hedgehog
UpdatedAdd support for scalaprops
UpdatedAdd support for nyaya
UpdatedRename `:>:` to `<>:`
Closed 1Add tests using free monad
UpdatedAdd microsite
ClosedParameterizable relations
Updated 1Fully implement reify.Either
UpdatedRefactor Cache as a trait
UpdatedIs filtering possible?
Updated 1Implicit relations
Updated