Proof that the coercion functions in purescript-leibniz can be implemented without any unsafeCoerce trickery.
garyb/purescript-leibniz-proof
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Proof that the coercion functions in purescript-leibniz can be implemented without any unsafeCoerce trickery.