]> Git — Sourcephile - haskell/symantic.git/shortlog
haskell/symantic.git
2017-02-02 Julien MoutinhoAdd Gram_Term.
2017-01-11 Julien MoutinhoAdd Parsing.Grammar.
2017-01-06 Julien MoutinhoFix comment typo.
2017-01-05 Julien MoutinhoAdd Compiling.Alternative.
2017-01-05 Julien MoutinhoRenaming textI_app* to textI*.
2017-01-05 Julien MoutinhoClarify names, and add commentaries (bis).
2017-01-04 Julien MoutinhoClarify names, and add commentaries.
2017-01-03 Julien MoutinhoAdd Compiling.Show.
2016-12-31 Julien MoutinhoAdd Parsing.Token.
2016-12-10 Julien MoutinhoAdd Compiling.Sequences.
2016-12-10 Julien MoutinhoAdd Compiling.NonNull.
2016-12-10 Julien MoutinhoAdd Compiling.MonoFoldable.
2016-12-09 Julien MoutinhoAdd Typing.Family and Compiling.MonoFunctor.
2016-12-08 Julien MoutinhoAdd tests for Compiling.
2016-12-07 Julien MoutinhoFix lambda application.
2016-12-07 Julien MoutinhoUse GHC-8.0.1's TypeInType to handle kinds better,...
2016-12-04 Julien MoutinhoAdd Compiling, Interpreting and Transforming.
2016-11-25 Julien MoutinhoSimplify the Constraint projection
2016-11-24 Julien MoutinhoRevamp the type system.
2016-11-19 Julien Moutinhofactorizing Type1_From ast Type0
2016-11-19 Julien Moutinhopolish code
2016-11-18 Julien Moutinhofix Num requiring Integer
2016-11-18 Julien MoutinhoType1_From instances
2016-11-18 Julien Moutinhopolish code, Foldable
2016-11-17 Julien MoutinhoRepr_Dup helpers
2016-11-16 Julien MoutinhoFoldable, Num
2016-11-16 Julien Moutinhoexplore parsing of partially applied functions
2016-11-14 Julien Moutinhopolish names
2016-11-14 Julien MoutinhoEq, Ord
2016-11-14 Julien Moutinhopolish names
2016-11-14 Julien MoutinhoMonoFunctor
2016-11-12 Julien Moutinhorevamp Repr/*
2016-11-12 Julien MoutinhoInteger, Integral, Num
2016-11-11 Julien MoutinhoMap
2016-11-10 Julien Moutinhofix (->) by removing inline/val/lazy
2016-11-02 Julien MoutinhoIO, Monoid, Foldable, Text
2016-10-31 Julien MoutinhoMonad
2016-10-30 Julien Moutinhoremove old files
2016-10-30 Julien Moutinhoinit
2016-10-30 Julien Moutinhoinit
2016-10-27 Julien Moutinhoinit
2016-10-27 Julien Moutinhoinit
2016-10-27 Julien Moutinhoinit
2016-10-26 Julien Moutinhoinit
2016-10-25 Julien Moutinhoinit
2016-10-25 Julien Moutinhoinit
2016-10-25 Julien Moutinhoinit
2016-10-25 Julien Moutinhoinit
2016-10-23 Julien Moutinhoinit
2016-10-23 Julien Moutinhoinit
2016-10-23 Julien Moutinhoinit
2016-10-23 Julien Moutinhoinit
2016-10-20 Julien Moutinhoinit
2016-10-18 Julien Moutinhoinit
2016-10-18 Julien Moutinhoinit
2016-10-16 Julien Moutinhoinit
2016-10-14 Julien Moutinhoinit
2016-10-14 Julien Moutinhoinit
2016-10-14 Julien Moutinhoinit
2016-10-14 Julien Moutinhoinit
2016-10-08 Julien Moutinhoinit
2016-10-08 Julien Moutinhoinit
2016-10-07 Julien Moutinhoinit
2016-10-07 Julien Moutinhoinit
2016-10-07 Julien Moutinhoinit
2016-10-07 Julien Moutinhoinit
2016-10-07 Julien Moutinhoinit
2016-10-07 Julien Moutinhoinit
2016-10-06 Julien Moutinhoinit
2016-10-06 Julien Moutinhoinit
2016-10-06 Julien Moutinhoinit
2016-10-06 Julien Moutinhoinit
2016-10-03 Julien Moutinhoinit
2016-10-03 Julien Moutinhoinit
2016-10-03 Julien Moutinhoinit
2016-10-02 Julien Moutinhoinit
2016-10-02 Julien Moutinhoinit
2016-10-02 Julien Moutinhoinit
2016-10-02 Julien Moutinhoinit
2016-10-02 Julien Moutinhoinit
2016-10-02 Julien Moutinhoinit
2016-10-01 Julien Moutinhoinit
2016-10-01 Julien Moutinhoinit
2016-10-01 Julien Moutinhoinit
2016-10-01 Julien Moutinhoinit
2016-09-30 Julien Moutinhoinit
2016-09-30 Julien Moutinhoinit
2016-09-30 Julien Moutinhoinit
2016-09-30 Julien Moutinhoinit
2016-09-30 Julien Moutinhoinit
2016-09-19 Julien Moutinhoinit