aboutsummaryrefslogtreecommitdiff
path: root/src/Reflection/Relations.v
Commit message (Expand)AuthorAge
* Fix more unfolding that shouldn't happenGravatar Jason Gross2017-03-10
* Switch to fully uncurried form for reflectionGravatar Jason Gross2017-03-01
* Add interp_flat_type_rel_pointwise_SmartVarfMap, interp_flat_type_rel_pointwi...Gravatar Jason Gross2017-02-28
* Add various reflection improvements, boundbycastGravatar Jason Gross2017-02-21
* Fix relation relb argumentsGravatar Jason Gross2017-02-07
* Add things like interp_flat_type_rel_pointwise1_gen_Prop_iff_boolGravatar Jason Gross2017-02-07
* Clean up and improve Reflection.RelationsGravatar Jason Gross2017-02-07
* Add interp_flat_type_rel_pointwise2_flatten_binding_listGravatar Jason Gross2017-02-06
* Add interp_flat_type_rel_pointwise2_hetero_iffGravatar Jason Gross2017-02-03
* Add interp_flat_type_rel_pointwise0Gravatar Jason Gross2017-01-27
* Various minor reflection fixupsGravatar Jason Gross2017-01-27
* Split off some bits of Reflection.SyntaxGravatar Jason Gross2017-01-26
* Add interp_type_rel_pointwise2_heteroGravatar Jason Gross2017-01-25
* Add interp_flat_type_rel_pointwise2_hetero_flatten_binding_list2Gravatar Jason Gross2017-01-25
* Add interp_flat_type_rel_pointwise2_heteroGravatar Jason Gross2017-01-25
* Remove the Const constructor of exprfGravatar Jason Gross2017-01-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 12:55:56 +0000