Code

Speed up comparison of environments#44

Code

Merged

mortberg merged 2 commits intomortberg:mastermortberg/cubicaltt:masterfrom gullcomb:opt-decl-cmpgullcomb/cubicaltt:opt-decl-cmpCopy head branch name to clipboardJul 29, 2016

+54-22

Commits

Commits on Jul 12, 2016

• Fix build for GHC 7.8

  Show description for a56c250
  

  Guillaume Combette

  committed
  a56c250

• Tag declarations with their location.

  Show description for f8505f9
  

  Guillaume Combette

  committed
  f8505f9