sourcephile
/
git
/
haskell
/
symantic.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Polish cabal-version: as suggested by stack.
[haskell/symantic.git]
/
symantic-grammar
/
2018-08-31
Julien Moutinho
Polish cabal-version: as suggested by stack.
tree
|
commitdiff
2018-08-31
Julien Moutinho
Support GHC-8.4.3.
tree
|
commitdiff
2018-04-06
Julien Moutinho
Remove useless file.
tree
|
commitdiff
2018-02-14
Julien Moutinho
Massage .cabal files.
tree
|
commitdiff
2018-02-13
Julien Moutinho
Separate tests into test/.
tree
|
commitdiff
2018-02-13
Julien Moutinho
Add lower version bounds to all dependencies.
tree
|
commitdiff
2018-02-13
Julien Moutinho
Sync with ghc-8.2.2 and megaparsec-6.3.0.
tree
|
commitdiff
2017-08-18
Julien Moutinho
Bump versions.
tree
|
commitdiff
2017-08-18
Julien Moutinho
Rename grammar rules.
tree
|
commitdiff
2017-08-15
Julien Moutinho
Bump stack resolver to lts-9.0.
tree
|
commitdiff
2017-07-09
Julien Moutinho
Fix many and some.
tree
|
commitdiff
2017-07-03
Julien Moutinho
Bump versions.
tree
|
commitdiff
2017-06-27
Julien Moutinho
Rename inj_* -> *Inj.
tree
|
commitdiff
2017-06-27
Julien Moutinho
Rename source -> withSource, and g_*.
tree
|
commitdiff
2017-06-23
Julien Moutinho
Polish for publication.
tree
|
commitdiff
2017-06-22
Julien Moutinho
Fix symantic-grammar test.
tree
|
commitdiff
2017-06-21
Julien Moutinho
Bump versions.
tree
|
commitdiff
2017-06-13
Julien Moutinho
Improve handling of metadata in grammars.
tree
|
commitdiff
2017-06-12
Julien Moutinho
Massive rewrite to better support rank-1 polymorphic...
tree
|
commitdiff
2017-05-02
Julien Moutinho
Improve Show of Type.
tree
|
commitdiff
2017-04-19
Julien Moutinho
Fix prefix/postfix operators wrt. term application.
tree
|
commitdiff
2017-03-24
Julien Moutinho
Rename grammar rules, prefixing them with g_.
tree
|
commitdiff
2017-03-10
Julien Moutinho
Fix lexeme to progress over indented lines.
tree
|
commitdiff
2017-03-10
Julien Moutinho
Cosmetic cleanup.
tree
|
commitdiff
2017-03-10
Julien Moutinho
Fix empty and eoi.
tree
|
commitdiff
2017-03-10
Julien Moutinho
Backtrack (try) the grammar only when necessary to...
tree
|
commitdiff
2017-02-11
Julien Moutinho
Split into symantic{,-grammar,-lib}.
tree
|
commitdiff