Code

Pointwise function changes#14

Code

Open

Blaisorblade wants to merge 7 commits intomasterinc-lc/ilc-agda:masterfrom pointwise-function-changesinc-lc/ilc-agda:pointwise-function-changesCopy head branch name to clipboard

+158-43

Commits

Commits on Sep 7, 2016

• First version of alternative function changes

  Blaisorblade

  committed
  6a2c000

  Copy full SHA for 6a2c000

• Delete dead code

  Blaisorblade

  committed
  48a80fe

  Copy full SHA for 48a80fe

• Abstract away the hsubst boilerplate

  Blaisorblade

  committed
  3b7573d

  Copy full SHA for 3b7573d

• Improve abstraction a bit

  Blaisorblade

  committed
  92ffe66

  Copy full SHA for 92ffe66

• Improve module name

  Blaisorblade

  committed
  af5372f

  Copy full SHA for af5372f

• Further simplifications

  Show description for 264e586
  Blaisorblade

  committed
  264e586

  Copy full SHA for 264e586

• Use sections also for RawChange/IsDerivative

  Blaisorblade

  committed
  c2b1e17

  Copy full SHA for c2b1e17