git.iko.soy
/
project-m36
readme
files
commits
refs
on
52182bc
help
sign in
history of
src/bin/TutorialD/Interpreter/RelationalExpr.hs
all commits
90e63c4
Merge 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 versions
AgentM
8 years ago
4b4c0d9
make hlint changes
AgentM
8 years ago
bb5afab
fix capitalization
AgentM
8 years ago
e69a063
Merge branch 'feature/add_with_relvar_macro' of https://github.com/YuMingLiao/project-m36 into YuMingLiao-feature/add_with_relvar_macro
AgentM
8 years ago
9c5162d
fix hlint suggestions due to new version of hlint
AgentM
8 years ago
0b24d9d
add with macro with multiple views
Johnny Liao
8 years ago
38151c0
first pass at working sub relation attributes manual test seems to work
AgentM
8 years ago
14a9d9a
WIP definition of subrelation attributes
AgentM
8 years ago
ace7680
update codebase for hlint 2.1.1 lots of <$> changes
AgentM
9 years ago
babd431
conditionalize API changes in megaparsec 6 to support GHC 8.2.2 stackage LTS
AgentM
9 years ago
56286b0
fix new hlint warnings regarding use of fmap
AgentM
9 years ago
5b585e7
initial, untested but functioning semijoin/antijoin implementation
AgentM
9 years ago
a2b0224
add boolean atoms to tutoriald parser
AgentM
9 years ago
3c5ad79
restore IntAtom/IntegerAtom but prefer IntegerAtom wherever possible
AgentM
9 years ago
79f6900
fix leftover hlint suggestions due to merge conflicts
AgentM
9 years ago
5191549
Merge branch '127_hlint'
AgentM
9 years ago
94a837e
Revert "upgrade megaparsec to 6.0.2 in preparation for GHC 8.2.1 support"
AgentM
9 years ago
b27ae9f
fix or squelch all hlint hints in src, examples, test directories
AgentM
9 years ago
4bab741
upgrade megaparsec to 6.0.2 in preparation for GHC 8.2.1 support
AgentM
9 years ago
05b5ae1
add outer-level attribute support to restriction relational subexpression references #52
AgentM
9 years ago
08e09b6
replace AnyAtomType with real type variables remove useless TypeConstructorArg allow atom functions to have polymorphic types
AgentM
10 years ago
2816ed8
fix cabal file resolve unnecessary constraint warnings
AgentM
10 years ago
8cfc3ee
allow multiple attribute renames as part of tutd rename clause fixes #47
AgentM
10 years ago
61548c9
refactor RelationalExpr to allow for TransGraphRelationalExpr
AgentM
10 years ago
20a004d
compilation checkpoint- tutd, server components in place still need to merge relationalexpr/transgraphrelationalexpr add support for git-style graph navigation from head ~^
AgentM
10 years ago
8b5e115
WIP compilation checkpoint
AgentM
10 years ago
aed8762
WIP compilation checkpoint tutd switching to compiling project-m36 library as a dependency for executables switched to Atom ADT AtomFunctionBody somewhat working
AgentM
10 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list