sourcephile
/
git
/
haskell
/
symantic.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add Doc_Align and Doc_Wrap.
[haskell/symantic.git]
/
symantic-lib
/
Language
/
Symantic
/
Lib
/
Real.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-24
Julien Moutinho
Remove Proxy in Sym instances.
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-15
Julien Moutinho
Improve the module system.
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-09
Julien Moutinho
Add compileWithTyCtx.
blob
|
commitdiff
|
raw
|
diff to current
2017-04-01
Julien Moutinho
Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr...
blob
|
commitdiff
|
raw
|
diff to current
2017-03-14
Julien Moutinho
Fix time&space explosion of GHC's typechecker.
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