Skip to content
Back to pull request #58

Fixes for "chore: reimpement liftCoeM using Functor.map for a better defeq" #1998

Sign in to view logs

Fixes for "chore: reimpement liftCoeM using Functor.map for a better defeq"

Fixes for "chore: reimpement liftCoeM using Functor.map for a better defeq" #1998

This job was skipped