Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix more unfolding | Jason Gross | 2017-03-10 |
* | Make sure interp_flat_type isn't unfolded in SmartMap | Jason Gross | 2017-03-10 |
* | Add better SmartFlatTypeMapInterp2 | Jason Gross | 2017-03-08 |
* | make 8.5 happy | Andres Erbsen | 2017-03-02 |
* | Switch to fully uncurried form for reflection | Jason Gross | 2017-03-01 |
* | Add SmartVarfMap Proper instance | Jason Gross | 2017-02-28 |
* | Add various reflection improvements, boundbycast | Jason Gross | 2017-02-21 |
* | Remove the let-in from SmartValf | Jason Gross | 2017-02-07 |
* | Fix implicits | Jason Gross | 2017-01-31 |
* | Add SmartFlatTypeMap2Interp2 | Jason Gross | 2017-01-31 |
* | Add In_G_wff_SmartVarf, SmartVarf_Pair | Jason Gross | 2017-01-30 |
* | Better typing for SmartPairf_Pair | Jason Gross | 2017-01-27 |
* | Remove dead code | Jason Gross | 2017-01-27 |
* | Add SmartPairf_Pair | Jason Gross | 2017-01-27 |
* | Doc fixup | Jason Gross | 2017-01-27 |
* | Split off some bits of Reflection.Syntax | Jason Gross | 2017-01-26 |