purescript-leibniz-proof

August 8, 2016 ยท View on GitHub

Proof that the coercion functions in purescript-leibniz can be implemented without any unsafeCoerce trickery.

  • The implementation
  • An example usage