on master help sign in
all commits
5b6d3f1add Changelog and documentation for v0.9.3AgentM a244f5frename date example to cjdate exampleAgentM 66f4d99add documentation for new TutorialD syntax for union and intersection attribute expressionsAgentM 5e57f63Types section requires date example to be loadedJun Matsushita 4970d23add some basic createarbitraryrelation documentationAgentM 0a73890update TutorialD tutorial to include latest type-related changesAgentM 52a18c6fix confusing error message when creating incdep where the expressions do not have equal relation types resolves #181AgentM f6d863aadd semijoin, antijoin, and relational expression attribute names to documentationAgentM 70f1317add note to tutd tutorial regarding "group" being an alternative to SQL's OUTER JOINAgentM 797dd93update docs with data type constructor informationAgentM 52eca17add difference/minus to docsAgentM 789fb25patch docs to include new isomorphic schema prompt entry resolves #60AgentM 167d163finish functional dependency implementation including documentation and testAgentM 4706bbbupdate documentation to reflect new :importexample this is important for the websocket server which cannot import from the file systemAgentM 447534cadd relation variable summary RO context operatorAgentM ad7a300update tutd tutorial with lowercase Date relvars -uppercase is used to indicate a type or data constructor, as in Haskell itselfAgentM c438855add bytestring atom type -fix some orphan instance warningsAgentM 7fe0508tutd tutorial table fixesAgentM 3e539c1complete TutorialD tutorialAgentM e8c5c06add basic, but better organized markdown-based documentationAgentM