aboutsummaryrefslogtreecommitdiff
path: root/src/Reflection/SmartMap.v
Commit message (Expand)AuthorAge
* Add SmartVarfMap3 argumentsGravatar Jason Gross2017-03-28
* Add SmartVarfMap3Gravatar Jason Gross2017-03-28
* Fix more unfoldingGravatar Jason Gross2017-03-10
* Make sure interp_flat_type isn't unfolded in SmartMapGravatar Jason Gross2017-03-10
* Add better SmartFlatTypeMapInterp2Gravatar Jason Gross2017-03-08
* make 8.5 happyGravatar Andres Erbsen2017-03-02
* Switch to fully uncurried form for reflectionGravatar Jason Gross2017-03-01
* Add SmartVarfMap Proper instanceGravatar Jason Gross2017-02-28
* Add various reflection improvements, boundbycastGravatar Jason Gross2017-02-21
* Remove the let-in from SmartValfGravatar Jason Gross2017-02-07
* Fix implicitsGravatar Jason Gross2017-01-31
* Add SmartFlatTypeMap2Interp2Gravatar Jason Gross2017-01-31
* Add In_G_wff_SmartVarf, SmartVarf_PairGravatar Jason Gross2017-01-30
* Better typing for SmartPairf_PairGravatar Jason Gross2017-01-27
* Remove dead codeGravatar Jason Gross2017-01-27
* Add SmartPairf_PairGravatar Jason Gross2017-01-27
* Doc fixupGravatar Jason Gross2017-01-27
* Split off some bits of Reflection.SyntaxGravatar Jason Gross2017-01-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 06:31:51 +0000