sourcephile
/
git
/
haskell
/
symantic.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Move the Cabal description to Markdown.
[haskell/symantic.git]
/
symantic-lib
/
Language
/
Symantic
/
Typing
/
Test.hs
2017-07-02
Julien Moutinho
Integrate types to the module system.
blob
|
commitdiff
|
raw
2017-06-27
Julien Moutinho
Rename inj_* -> *Inj.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-22
Julien Moutinho
Use AllowAmbiguousTypes to avoid Proxy uses.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-22
Julien Moutinho
Fix symantic-lib tests.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-16
Julien Moutinho
Clarification : Megaparsec integration.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-15
Julien Moutinho
Improve the module system.
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-04-19
Julien Moutinho
Fix prefix/postfix operators wrt. term application.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-24
Julien Moutinho
Rename grammar rules, prefixing them with g_.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-13
Julien Moutinho
Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-10
Julien Moutinho
Renaming Constants -> TyConsts.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-10
Julien Moutinho
Cosmetic cleanup of GHC flags.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-10
Julien Moutinho
Cosmetic cleanup.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-06
Julien Moutinho
Reduce compile time of tests with -O0 -fmax-simplifier...
blob
|
commitdiff
|
raw
|
diff to current
2017-02-11
Julien Moutinho
Split into symantic{,-grammar,-lib}.
blob
|
commitdiff
|
raw
|
diff to current