Code

Add Cont alias to ContT#3403

Code

Merged

LukaJCB merged 2 commits intotypelevel:mastertypelevel/cats:masterfrom RaasAhsan:cont-aliasRaasAhsan/cats:cont-aliasCopy head branch name to clipboardMay 21, 2020

+20-1

Commits

Commits on Apr 25, 2020

• Add Cont alias to ContT

  

  Raas Ahsan

  committed
  b849aa8

  Copy full SHA for b849aa8

Commits on May 16, 2020

• Define Cont in terms of Eval

  

  Raas Ahsan

  committed
  dbb6cac

  Copy full SHA for dbb6cac