../ Relation/fix extraneous quoting in terminal display11 years ago Transaction/WIP: transaction graph reads and writes now working -add persistence mode -add database config type11 years ago TransactionGraph/refactor transaction graph display away from interpreter for preparation for client library -the client library may wish to access the transaction graph as a relation11 years ago Atom.hsatom EQ redefinition branch complete -all tests pass11 years ago AtomFunction.hsadd basic atom functions: count, min, max11 years ago Attribute.hsWIP: much refactoring for Atom existential quantification change11 years ago AttributeNames.hsimprove error handling for "all but" attributes inversion11 years ago Base.hsatom EQ redefinition branch complete -all tests pass11 years ago Client.hsWIP: CSV atom type munging11 years ago ConcreteTypeRep.hsWIP: much refactoring for Atom existential quantification change11 years ago DatabaseContext.hsswitch to using NamedRecord for CSV export which I should have used in the first place11 years ago Error.hsadd missing error data constructor11 years ago Key.hsintroduce "key" syntax for TutorialD with backing support via inclusion dependencies11 years ago Relation.hsWIP: much refactoring for Atom existential quantification change11 years ago RelationalExpression.hsatom EQ redefinition branch complete -all tests pass11 years ago StaticOptimizer.hsintroduce "key" syntax for TutorialD with backing support via inclusion dependencies11 years ago Transaction.hsWIP: incremental reading and writing of the graph11 years ago TransactionGraph.hsatom EQ redefinition branch complete -all tests pass11 years ago Tuple.hsrefactor tuple set to be list-based instead of hashset-based in preparation for infinitely-sized relations11 years ago TupleSet.hsrefactor tuple set to be list-based instead of hashset-based in preparation for infinitely-sized relations11 years ago