1. Patrick Bahr
  2. compdata

Commits

Show all
Author Commit Message Date Builds
Patrick Bahr
bump up the version number
Patrick Bahr
fixed a bug in the computation of free variables
Patrick Bahr
Added tag version_0.6.1.1 for changeset f4d9e2fb9684
Patrick Bahr
spelled out the lifting of the 'Desugar' type class over sums instead of using 'liftSum' to avoid bug in TemplateHaskell in GHC 7.6
Patrick Bahr
removed the benchmark flag (I switched to cabals Benchmark build target before so it is not necessary anymore)
Patrick Bahr
fixed and amended documenting comments
Patrick Bahr
Added tag version_0.6.1 for changeset a92801822132
Patrick Bahr
set version to 0.6.1
Patrick Bahr
fixed a compilation issue for GHC 7.6
Patrick Bahr
added benchmark results
Patrick Bahr
we now use the benchmark interface of cabal
Patrick Bahr
removing the unnecessary dependence on the (by now removed) type class Zippable in the thunk example
Patrick Bahr
Added tag version_0.6 for changeset 52392405c92f
Patrick Bahr
changed version number to 0.6
Patrick Bahr
added missing files from previous commit
Patrick Bahr
- wrote test suite for Variables module of the Multi library - adopted HUnit instead of QuickCheck where suitable - fixed the Show instance deriving mechanism for the Multi library (KShow instances are now only promoted to Show instances for contexts/terms), which previously produces overlapping instances
Patrick Bahr
- renamed type constructor for existential type quantification from 'A' to 'E' - added type constructor 'A' for universal type quantification - re-defined substitutions for the Multi library in terms of finite maps using the 'A' type constructor
Patrick Bahr
added test suite for Variables module
Patrick Bahr
introduced a function that transforms a stateful homomorphism that has a fully polymorphic state type into a (stateless) homomorphism
Patrick Bahr
added Multi.Number module to cabal file
Patrick Bahr
added the missing Data.Comp.Multi.Number module (lifting of the Data.Comp.Number module)
Patrick Bahr
small changes in the variable binding interface (to match the corresponding interface in the Multi library)
Patrick Bahr
lifted the generalised variable binding interface (from Data.Comp.Variables) to the Multi library
Patrick Bahr
moved benchmark results to subdirectory
Patrick Bahr
generalised the variable binding specification (now a constructor bind a different set of variables for each of its arguments)
Patrick Bahr
added simple Setup.hs
Patrick Bahr
- bumped up the version number to 0.5.3 - included source repository information
Patrick Bahr
Added tag version_0.5.3 for changeset 8a6362c5b5cb
Patrick Bahr
fixed the documentation (issues with unicode characters, format of single line comments)
Patrick Bahr
fixed the implementation of substitution for the multi library
  1. Prev
  2. Next