Code

Enable GHC 8.4 in travis#4611

Code

Open

melted wants to merge 2 commits intomasteridris-lang/Idris-dev:masterfrom enable-8.4idris-lang/Idris-dev:enable-8.4Copy head branch name to clipboard

+12-14

Commits

Commits on Dec 11, 2018

• Enable GHC 8.4 in travis

  Show description for 99bd4d5
  melted

  authored
  99bd4d5

Commits on Dec 26, 2018

• Let's try Ubuntu xenial

  melted

  authored
  b780ddb