Skip to content

Add Applicative IorT instance#2181

Closed
LukaJCB wants to merge 2 commits intotypelevel:masterfrom LukaJCB:applicative-iort

Commits

Commits on Mar 2, 2018