Show all
Author Commit Message Labels Comments Date
Emil Axelsson avatarEmil Axelsson
Removed incorrect properties from comments in Graph.hs
Branches
graph
Patrick Bahr avatarPatrick Bahr
fixed a compilation issue for GHC 7.6
Branches
graph
Patrick Bahr avatarPatrick Bahr
I started implementing a graph representation of terms (a.k.a. term
Branches
graph
Patrick Bahr avatarPatrick Bahr
added benchmark results
Patrick Bahr avatarPatrick Bahr
we now use the benchmark interface of cabal
Patrick Bahr avatarPatrick Bahr
removing the unnecessary dependence on the (by now removed) type class
Patrick Bahr avatarPatrick Bahr
Added tag version_0.6 for changeset 52392405c92f
Patrick Bahr avatarPatrick Bahr
changed version number to 0.6
Tags
version_0.6
Patrick Bahr avatarPatrick Bahr
added missing files from previous commit
Patrick Bahr avatarPatrick Bahr
- wrote test suite for Variables module of the Multi library
Patrick Bahr avatarPatrick Bahr
- renamed type constructor for existential type quantification from 'A' to 'E'
Patrick Bahr avatarPatrick Bahr
added test suite for Variables module
Patrick Bahr avatarPatrick Bahr
introduced a function that transforms a stateful homomorphism that has
Patrick Bahr avatarPatrick Bahr
added Multi.Number module to cabal file
Patrick Bahr avatarPatrick Bahr
added the missing Data.Comp.Multi.Number module (lifting of the Data.Comp.Number module)
Patrick Bahr avatarPatrick Bahr
small changes in the variable binding interface (to match the corresponding interface in the Multi library)
Patrick Bahr avatarPatrick Bahr
lifted the generalised variable binding interface (from Data.Comp.Variables) to the Multi library
Patrick Bahr avatarPatrick Bahr
moved benchmark results to subdirectory
Patrick Bahr avatarPatrick Bahr
generalised the variable binding specification (now a constructor bind
Patrick Bahr avatarPatrick Bahr
added simple Setup.hs
Patrick Bahr avatarPatrick Bahr
- bumped up the version number to 0.5.3
Patrick Bahr avatarPatrick Bahr
Added tag version_0.5.3 for changeset 8a6362c5b5cb
Patrick Bahr avatarPatrick Bahr
fixed the documentation (issues with unicode characters, format of
Tags
version_0.5.3
Patrick Bahr avatarPatrick Bahr
fixed the implementation of substitution for the multi library
Patrick Bahr avatarPatrick Bahr
included a KShow instance for 'K ()' in order to obtain a show
Tom Hvitved avatarTom Hvitved
Changed RankNTypes to Rank2Types
Patrick Bahr avatarPatrick Bahr
Added tag version_0.5.2 for changeset df34f596054b
Patrick Bahr avatarPatrick Bahr
small changes to make the code base compile with the new GHC 7.4.1
Tags
version_0.5.2
Patrick Bahr avatarPatrick Bahr
Added tag version_0.5.1 for changeset 18494633bf68
Patrick Bahr avatarPatrick Bahr
- removed Automata.hs from the examples
Tags
version_0.5.1
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.