sourcephile
/
git
/
haskell
/
symantic.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Sync symantic with symantic-document.
[haskell/symantic.git]
/
symantic-document
/
Language
/
Symantic
/
Document
/
Term.hs
2018-03-08
Julien Moutinho
Use Nat, instead of convoluted type families.
blob
|
commitdiff
|
raw
2018-03-08
Julien Moutinho
Rename things such that symantic-document is neater...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-08
Julien Moutinho
Add colorable and decorable.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-07
Julien Moutinho
Reorganize symantic-document modules.
blob
|
commitdiff
|
raw
|
diff to current
sourcephile / git / haskell / symantic.git / history