View source
  • Contributors
    1. Loading...
Author Commit Message Date Builds
85 commits behind default.
Axelsson Emil
Removed incorrect properties from comments in Graph.hs
Patrick Bahr
fixed a compilation issue for GHC 7.6
Patrick Bahr
I started implementing a graph representation of terms (a.k.a. term graphs), which allows us to explicitly observe and manipulate sharing.