projects / ~helmut / bidiragda.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionBidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)
ownerHelmut Grohne
last changeSat, 1 Aug 2020 07:12:17 +0000 (09:12 +0200)
URLgit://git.subdivi.de/~helmut/bidiragda.git
shortlog
2020-08-01 Helmut Grohnemove imports for agda-stdlib 1.3 master commit | commitdiff | tree | snapshot
2020-08-01 Helmut Grohneindividually open ≡-Reasoning commit | commitdiff | tree | snapshot
2019-09-29 Helmut Grohneport to agda/2.6.0.1 and agda-stdlib/1.1 commit | commitdiff | tree | snapshot
2019-03-31 Helmut GrohneGeneric.toList-fromList is Data.Vec.Properties.toList... commit | commitdiff | tree | snapshot
2019-03-31 Helmut GrohneGeneric.just-injective is Data.Maybe.just-injective commit | commitdiff | tree | snapshot
2019-03-31 Helmut GrohneFinMap.lemma-lookupM-delete is another variant of Data... commit | commitdiff | tree | snapshot
2019-03-31 Helmut GrohneFinMap.lemma-lookupM-fromFunc is almost Data.Vec.Proper... commit | commitdiff | tree | snapshot
2019-03-31 Helmut GrohneFinMap.lemma-tabulate-∘ is also known as Data.Vec.Prope... commit | commitdiff | tree | snapshot
2019-03-31 Helmut Grohnereplace FinMap.lemma-lookupM-empty with Data.Vec.Proper... commit | commitdiff | tree | snapshot
2018-11-25 Helmut Grohneport to agda/2.5.4.1 and agda-stdlib/0.17 commit | commitdiff | tree | snapshot
2018-11-25 Helmut Grohneremove unused imports commit | commitdiff | tree | snapshot
2018-11-25 Helmut Grohnemake the setoid parameter to sequenceV-cong explicit commit | commitdiff | tree | snapshot
2018-11-25 Helmut Grohnereorganize equality imports commit | commitdiff | tree | snapshot
2018-11-25 Helmut Grohnefix missing import of "length" commit | commitdiff | tree | snapshot
2018-01-02 Helmut Grohnelength-replicate is now upstream as well commit | commitdiff | tree | snapshot
2018-01-02 Helmut Grohneremove lemma-lookupM-insert-other in favour of lookup... commit | commitdiff | tree | snapshot
...
heads
14 months ago master shortlog | log | tree
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)