Git — Sourcephile - haskell/symantic.git/history - Language/Symantic/Typing/Test.hs

]> Git — Sourcephile - haskell/symantic.git/history - Language/Symantic/Typing/Test.hs

2017-02-02	Julien Moutinho	Move libraries in Lib.	blob \| commitdiff \| raw
2017-02-02	Julien Moutinho	Add Gram_Term.	blob \| commitdiff \| raw \| diff to current
2017-01-11	Julien Moutinho	Add Parsing.Grammar.	blob \| commitdiff \| raw \| diff to current
2017-01-05	Julien Moutinho	Clarify names, and add commentaries (bis).	blob \| commitdiff \| raw \| diff to current
2017-01-04	Julien Moutinho	Clarify names, and add commentaries.	blob \| commitdiff \| raw \| diff to current
2016-12-31	Julien Moutinho	Add Parsing.Token.	blob \| commitdiff \| raw \| diff to current
2016-12-08	Julien Moutinho	Add tests for Compiling.	blob \| commitdiff \| raw \| diff to current
2016-12-07	Julien Moutinho	Use GHC-8.0.1's TypeInType to handle kinds better,...	blob \| commitdiff \| raw \| diff to current
2016-12-04	Julien Moutinho	Add Compiling, Interpreting and Transforming.	blob \| commitdiff \| raw \| diff to current
2016-11-25	Julien Moutinho	Simplify the Constraint projection	blob \| commitdiff \| raw \| diff to current
2016-11-24	Julien Moutinho	Revamp the type system.	blob \| commitdiff \| raw \| diff to current

Library for Typed Tagless-Final Higher-Order Composable DSL