Commits

Author Commit Message Labels Comments Date
Patrick Bahr
README.md edited online with Bitbucket
Patrick Bahr
Added tag version_0.8.1 for changeset 4a80bbc2c6a5
Patrick Bahr
version 0.8.1.0
Tags
version_0.8.1
Patrick Bahr
got rid of unused functions/variables
Patrick Bahr
implemented type-indexed products; cleaned up examples
Patrick Bahr
implemented subsumption without term-level evidence; implemented subsumption in the same style for Multi
Patrick Bahr
version bump
Patrick Bahr
added restriction to 'base' version to other targets
Patrick Bahr
added bug report url
Patrick Bahr
set version dependency for 'base' so as to require GHC version 7.8 or higher
Patrick Bahr
Merged changes from closed_type_families branch
Patrick Bahr
removed the parametric higher-order variants; cleaned up the tests and benchmarks
Branches
closed_type_families
Patrick Bahr
merged changes from default branch
Branches
closed_type_families
Patrick Bahr
fixed warnings about missing instances for Applicative
Patrick Bahr
fixed overlapping import
Emil Axelsson
minor
Emil Axelsson
Render iInstance for :+:
Emil Axelsson
ShowConstr instance for :+: and :&:
Emil Axelsson
Added writeHtmlTerm
Emil Axelsson
Added class Render which gives methods for converting terms to Data.Tree and drawing terms as ASCII art
Emil Axelsson
Added class ShowConstr for showing the name of a constructor
Patrick Bahr
Branches
closed_type_families
Emil Axelsson
Removed incorrect properties from comments in Graph.hs
Branches
graph
Patrick Bahr
replaced uses of Template Haskell that caused linker issues (no idea why) with handwritten code
Branches
closed_type_families
Patrick Bahr
removed module Data.Comp.Derive.Injections since it is not needed anymore (the new :<: provides injections that are powerful enough)
Branches
closed_type_families
Patrick Bahr
refined the definition of :<: to avoid deriving non-injective injection functions (e.g. from F :+: F :<: F)
Branches
closed_type_families
Patrick Bahr
addressed warnings: Monads have to be Applicatives; <*> will be in the prelude; unused variables and functions; missing NOINLINE pragmas (for the sake of making rewrite rules fire)
Branches
closed_type_families
Patrick Bahr
Merged from default branch
Branches
closed_type_families
Patrick Bahr
added missing modules
Patrick Bahr
implemented :<: using closed type families; it makes :<: more general (at least for ground types)
Branches
closed_type_families
  1. Prev
  2. Next