Code

More flexible TransLift#940

Code

Merged

ceedubs merged 6 commits intotypelevel:mastertypelevel/cats:masterfrom djspiewak:feature/translift-expressiondjspiewak/cats:feature/translift-expressionCopy head branch name to clipboardApr 3, 2016

+97-23

Commits

Commits on Mar 20, 2016

• First stab at a more flexible TransLift

  djspiewak

  committed
  7f29e87

  Copy full SHA for 7f29e87

• Replaced Unit =:= Unit with a proper Trivial

  djspiewak

  committed
  9b6807e

  Copy full SHA for 9b6807e

• Rewrote TLExtract to bypass SI-2712

  djspiewak

  committed
  837f886

  Copy full SHA for 837f886

• Adjusted transLiftSyntax to avoid SI-2712

  djspiewak

  committed
  0ad9dbc

  Copy full SHA for 0ad9dbc

Commits on Apr 2, 2016

• Fixed old comment referencing pre-Trivial Trivial

  djspiewak

  committed
  4226c65

  Copy full SHA for 4226c65

• Merge branch 'master' into feature/translift-expression

  djspiewak

  committed
  2dc050d

  Copy full SHA for 2dc050d