Skip to content

Allow functor derivation under quantification - #3295

Merged
LiamGoodacre merged 2 commits into
purescript:masterfrom
i-am-tom:master
Apr 10, 2018
Merged

Allow functor derivation under quantification#3295
LiamGoodacre merged 2 commits into
purescript:masterfrom
i-am-tom:master

Allow for constraints in derived functors, quantification shadowing

a712440
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs