sourcephile
/
git
/
haskell
/
symantic.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Separate tests into test/.
[haskell/symantic.git]
/
symantic
/
Language
/
Symantic
/
Typing
/
Grammar.hs
2018-02-13
Julien Moutinho
Sync with ghc-8.2.2 and megaparsec-6.3.0.
blob
|
commitdiff
|
raw
2017-08-18
Julien Moutinho
Rename grammar rules.
blob
|
commitdiff
|
raw
|
diff to current
2017-07-03
Julien Moutinho
Directly parse types to TypeTLen, not Mod NameTy.
blob
|
commitdiff
|
raw
|
diff to current
2017-07-02
Julien Moutinho
Integrate types to the module system.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-27
Julien Moutinho
Rename source -> withSource, and g_*.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-18
Julien Moutinho
Improve dynamic insertion of terms (via CtxTy or Modules).
blob
|
commitdiff
|
raw
|
diff to current
2017-06-13
Julien Moutinho
Improve handling of metadata in grammars.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-12
Julien Moutinho
Massive rewrite to better support rank-1 polymorphic...
blob
|
commitdiff
|
raw
|
diff to current
2017-05-11
Julien Moutinho
Try the new Type and Term design against the actual...
blob
|
commitdiff
|
raw
|
diff to current
2017-05-01
Julien Moutinho
Complexify the type system to support rank-1 polymorphi...
blob
|
commitdiff
|
raw
|
diff to current