Code

Merge Full/:-> into a single type#31

Code

Open

oliver-batchelor wants to merge 5 commits intoemilaxelsson:masteremilaxelsson/syntactic:masterfrom oliver-batchelor:masteroliver-batchelor/syntactic:masterCopy head branch name to clipboard

+53-54

Commits

Commits on Nov 3, 2016

• Ideas

  oliver-batchelor

  committed
  149bba2

  Copy full SHA for 149bba2

• It compiles

  oliver-batchelor

  committed
  3226bd7

  Copy full SHA for 3226bd7

• Tidy

  oliver-batchelor

  committed
  c236dc6

  Copy full SHA for c236dc6

• Change Type -> * for 7.x compat

  oliver-batchelor

  committed
  eb237bf

  Copy full SHA for eb237bf

Commits on Nov 4, 2016

• Enable DataKinds for examples

  oliver-batchelor

  committed
  f125296

  Copy full SHA for f125296