]> Git — Sourcephile - haskell/symantic.git/history - Language/Symantic/Typing/Syntax.hs
Add tests for Compiling.
[haskell/symantic.git] / Language / Symantic / Typing / Syntax.hs
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.