Skip to content

fix Cofree.cata stack-safety #2940#2942

Merged
LukaJCB merged 1 commit intotypelevel:masterfrom road21:bugfix/cofree-cata-stacksafeJul 12, 2019
+14-1

Commits

Commits on Jul 12, 2019