Code

Upgrade to Idris 1.3.1.#25

Code

Open

alaendle wants to merge 5 commits intobamboo:masterbamboo/idris-cil:masterfrom alaendle:patch-1alaendle/idris-cil:patch-1Copy head branch name to clipboard

+19-13

Commits

Commits on Oct 8, 2018

• Upgrade to Idris 1.3.0.

  Show description for da987ea
  alaendle

  authored
  da987ea

  Copy full SHA for da987ea

• Use same ghc version as stack.

  alaendle

  authored
  e442d8b

  Copy full SHA for e442d8b

Commits on Oct 14, 2018

• Dirty hack to "fix" failing tests.

  

  Andreas Ländle

  committed
  ca8b24b

  Copy full SHA for ca8b24b

Commits on Oct 15, 2018

• Satisfy hlint.

  

  Andreas Ländle

  committed
  2fe588c

  Copy full SHA for 2fe588c

Commits on Oct 29, 2018

• Upgrade to Idris 1.3.1.

  

  Andreas Ländle

  committed
  1042c29

  Copy full SHA for 1042c29