descriptionBidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)
ownerHelmut Grohne
last changeSun, 31 Mar 2019 20:36:21 +0000 (22:36 +0200)
shortlog
2019-03-31 Helmut GrohneGeneric.toList-fromList is Data.Vec.Properties.toList... master
2019-03-31 Helmut GrohneGeneric.just-injective is Data.Maybe.just-injective
2019-03-31 Helmut GrohneFinMap.lemma-lookupM-delete is another variant of Data...
2019-03-31 Helmut GrohneFinMap.lemma-lookupM-fromFunc is almost Data.Vec.Proper...
2019-03-31 Helmut GrohneFinMap.lemma-tabulate-∘ is also known as Data.Vec.Prope...
2019-03-31 Helmut Grohnereplace FinMap.lemma-lookupM-empty with Data.Vec.Proper...
2018-11-25 Helmut Grohneport to agda/2.5.4.1 and agda-stdlib/0.17
2018-11-25 Helmut Grohneremove unused imports
2018-11-25 Helmut Grohnemake the setoid parameter to sequenceV-cong explicit
2018-11-25 Helmut Grohnereorganize equality imports
2018-11-25 Helmut Grohnefix missing import of "length"
2018-01-02 Helmut Grohnelength-replicate is now upstream as well
2018-01-02 Helmut Grohneremove lemma-lookupM-insert-other in favour of lookup...
2018-01-02 Helmut Grohneremove lemma-lookupM-insert in favour of lookup∘update
2018-01-01 Helmut Grohnefix compilation with agda 2.5.3, agda-stdlib 0.14
2016-06-21 Helmut Grohnefix compilation with agda 2.5.1, agda-stdlib 0.12
...
heads
6 months ago master