aboutsummaryrefslogtreecommitdiff
path: root/src/Reflection/Conversion.v
Commit message (Expand)AuthorAge
* Interpret syntax with Let_InGravatar Jason Gross2016-10-31
* Add interp_type_gen_rel_pointwise2, *_gen => *Gravatar Jason Gross2016-10-28
* Add arguments to mapf_interp_flat_type_genGravatar Jason Gross2016-10-27
* Small example of bounds-calculation with dependent types (#61)Gravatar Jason Gross2016-09-29