Skip to content

Remove RecursiveTailRecM, move stack safety checks into MonadLaws - f…#1370

Merged
adelbertc merged 4 commits intotypelevel:masterfrom adelbertc:rm-recursivetailrecmSep 19, 2016