aboutsummaryrefslogtreecommitdiff
path: root/src/Util/HList.v
Commit message (Expand)AuthorAge
* Don't rely on autogenerated namesGravatar Jason Gross2017-06-05
* Get rid of list-based Tuple.mapGravatar Jason Gross2017-03-30
* Add hlistPGravatar Jason Gross2016-11-22
* Add rhlistGravatar Jason Gross2016-11-22
* Add HList.mapt_ProperGravatar Jason Gross2016-11-17
* prove last HList admitGravatar Andres Erbsen2016-11-11
* Add Tuple and HList lemmasGravatar Jason Gross2016-11-10
* Add hlist_mapGravatar Jason Gross2016-11-08
* Add HList.constGravatar Jason Gross2016-11-08
* Rename iffT, add some lemmas about tuple and hlistGravatar Jason Gross2016-11-08
* Add map_is_mapt'Gravatar Jason Gross2016-11-07
* Add HList lemmaGravatar Jason Gross2016-11-06
* Add admitted lemma about tuple map, add hlist lemGravatar Jason Gross2016-11-06
* Change hlist implicit statusGravatar Jason Gross2016-11-01
* Move hlist to new fileGravatar Jason Gross2016-11-01