| 2017-02-08 | Julien Moutinho | Renames. | tree | commitdiff | 
| 2017-02-08 | Julien Moutinho | Add optional. | tree | commitdiff | 
| 2017-02-04 | Julien Moutinho | Fix Lib.Ord : Ordering. | tree | commitdiff | 
| 2017-02-04 | Julien Moutinho | Fix module including. | tree | commitdiff | 
| 2017-02-03 | Julien Moutinho | Use more TypeApplications. | tree | commitdiff | 
| 2017-02-03 | Julien Moutinho | Remove Alternative uses in grammars. | tree | commitdiff | 
| 2017-02-03 | Julien Moutinho | Fix Lib.Text. | tree | commitdiff | 
| 2017-02-02 | Julien Moutinho | Move libraries in Lib. | tree | commitdiff | 
| 2017-02-02 | Julien Moutinho | Add Gram_Term. | tree | commitdiff | 
| 2017-01-11 | Julien Moutinho | Add Parsing.Grammar. | tree | commitdiff | 
| 2017-01-06 | Julien Moutinho | Fix comment typo. | tree | commitdiff | 
| 2017-01-05 | Julien Moutinho | Add Compiling.Alternative. | tree | commitdiff | 
| 2017-01-05 | Julien Moutinho | Renaming textI_app* to textI*. | tree | commitdiff | 
| 2017-01-05 | Julien Moutinho | Clarify names, and add commentaries (bis). | tree | commitdiff | 
| 2017-01-04 | Julien Moutinho | Clarify names, and add commentaries. | tree | commitdiff | 
| 2017-01-03 | Julien Moutinho | Add Compiling.Show. | tree | commitdiff | 
| 2016-12-31 | Julien Moutinho | Add Parsing.Token. | tree | commitdiff | 
| 2016-12-10 | Julien Moutinho | Add Compiling.Sequences. | tree | commitdiff | 
| 2016-12-10 | Julien Moutinho | Add Compiling.NonNull. | tree | commitdiff | 
| 2016-12-10 | Julien Moutinho | Add Compiling.MonoFoldable. | tree | commitdiff | 
| 2016-12-09 | Julien Moutinho | Add Typing.Family and Compiling.MonoFunctor. | tree | commitdiff | 
| 2016-12-08 | Julien Moutinho | Add tests for Compiling. | tree | commitdiff | 
| 2016-12-07 | Julien Moutinho | Fix lambda application. | tree | commitdiff | 
| 2016-12-07 | Julien Moutinho | Use GHC-8.0.1's TypeInType to handle kinds better,... | tree | commitdiff | 
| 2016-12-04 | Julien Moutinho | Add Compiling, Interpreting and Transforming. | tree | commitdiff | 
| 2016-11-25 | Julien Moutinho | Simplify the Constraint projection | tree | commitdiff | 
| 2016-11-24 | Julien Moutinho | Revamp the type system. | tree | commitdiff | 
| 2016-11-19 | Julien Moutinho | factorizing Type1_From ast Type0 | tree | commitdiff | 
| 2016-11-19 | Julien Moutinho | polish code | tree | commitdiff | 
| 2016-11-18 | Julien Moutinho | fix Num requiring Integer | tree | commitdiff | 
| 2016-11-18 | Julien Moutinho | Type1_From instances | tree | commitdiff | 
| 2016-11-18 | Julien Moutinho | polish code, Foldable | tree | commitdiff | 
| 2016-11-17 | Julien Moutinho | Repr_Dup helpers | tree | commitdiff | 
| 2016-11-16 | Julien Moutinho | Foldable, Num | tree | commitdiff | 
| 2016-11-16 | Julien Moutinho | explore parsing of partially applied functions | tree | commitdiff | 
| 2016-11-14 | Julien Moutinho | polish names | tree | commitdiff | 
| 2016-11-14 | Julien Moutinho | Eq, Ord | tree | commitdiff | 
| 2016-11-14 | Julien Moutinho | polish names | tree | commitdiff | 
| 2016-11-14 | Julien Moutinho | MonoFunctor | tree | commitdiff | 
| 2016-11-12 | Julien Moutinho | revamp Repr/* | tree | commitdiff | 
| 2016-11-12 | Julien Moutinho | Integer, Integral, Num | tree | commitdiff | 
| 2016-11-11 | Julien Moutinho | Map | tree | commitdiff | 
| 2016-11-10 | Julien Moutinho | fix (->) by removing inline/val/lazy | tree | commitdiff | 
| 2016-11-02 | Julien Moutinho | IO, Monoid, Foldable, Text | tree | commitdiff | 
| 2016-10-31 | Julien Moutinho | Monad | tree | commitdiff | 
| 2016-10-30 | Julien Moutinho | remove old files | tree | commitdiff | 
| 2016-10-30 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-30 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-27 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-27 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-27 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-26 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-25 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-25 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-25 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-25 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-23 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-23 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-23 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-23 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-20 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-18 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-18 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-16 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-14 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-14 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-08 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-08 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-07 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-07 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-07 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-07 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-07 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-06 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-06 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-06 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-06 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-03 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-03 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-02 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-02 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-02 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-02 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-02 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-02 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-01 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-01 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-01 | Julien Moutinho | init | tree | commitdiff | 
| 2016-10-01 | Julien Moutinho | init | tree | commitdiff | 
| 2016-09-30 | Julien Moutinho | init | tree | commitdiff | 
| 2016-09-30 | Julien Moutinho | init | tree | commitdiff | 
| 2016-09-30 | Julien Moutinho | init | tree | commitdiff | 
|  |