on 52182bc help sign in
all commits
90e63c4Merge branch 'master' into support_ghc_8.2 remove stack support for GHC 7.10 + GHC 8.0 due to deferred-fold+primitive pinned to old LTS versionsAgentM 4b4c0d9make hlint changesAgentM bb5afabfix capitalizationAgentM e69a063Merge branch 'feature/add_with_relvar_macro' of https://github.com/YuMingLiao/project-m36 into YuMingLiao-feature/add_with_relvar_macroAgentM 9c5162dfix hlint suggestions due to new version of hlintAgentM 0b24d9dadd with macro with multiple viewsJohnny Liao 38151c0first pass at working sub relation attributes manual test seems to workAgentM 14a9d9aWIP definition of subrelation attributesAgentM ace7680update codebase for hlint 2.1.1 lots of <$> changesAgentM babd431conditionalize API changes in megaparsec 6 to support GHC 8.2.2 stackage LTSAgentM 56286b0fix new hlint warnings regarding use of fmapAgentM 5b585e7initial, untested but functioning semijoin/antijoin implementationAgentM a2b0224add boolean atoms to tutoriald parserAgentM 3c5ad79restore IntAtom/IntegerAtom but prefer IntegerAtom wherever possibleAgentM 79f6900fix leftover hlint suggestions due to merge conflictsAgentM 5191549Merge branch '127_hlint'AgentM 94a837eRevert "upgrade megaparsec to 6.0.2 in preparation for GHC 8.2.1 support"AgentM b27ae9ffix or squelch all hlint hints in src, examples, test directoriesAgentM 4bab741upgrade megaparsec to 6.0.2 in preparation for GHC 8.2.1 supportAgentM 05b5ae1add outer-level attribute support to restriction relational subexpression references #52AgentM 08e09b6replace AnyAtomType with real type variables remove useless TypeConstructorArg allow atom functions to have polymorphic typesAgentM 2816ed8fix cabal file resolve unnecessary constraint warningsAgentM 8cfc3eeallow multiple attribute renames as part of tutd rename clause fixes #47AgentM 61548c9refactor RelationalExpr to allow for TransGraphRelationalExprAgentM 20a004dcompilation checkpoint- tutd, server components in place still need to merge relationalexpr/transgraphrelationalexpr add support for git-style graph navigation from head ~^AgentM 8b5e115WIP compilation checkpointAgentM aed8762WIP compilation checkpoint tutd switching to compiling project-m36 library as a dependency for executables switched to Atom ADT AtomFunctionBody somewhat workingAgentM