]> Git — Sourcephile - haskell/symantic.git/history - Language
Use GHC-8.0.1's TypeInType to handle kinds better, and migrate Compiling.
[haskell/symantic.git] / Language /
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-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-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-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