index
:
~helmut/bidiragda.git
master
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)
Helmut Grohne
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
master
fix deprecation warning about Any.any with agda-stdlib 1.7.1
Helmut Grohne
2 years
Age
Commit message
Author
2022-08-18
fix deprecation warning about Any.any with agda-stdlib 1.7.1
HEAD
master
Helmut Grohne
2020-08-01
move imports for agda-stdlib 1.3
Helmut Grohne
2020-08-01
individually open ≡-Reasoning
Helmut Grohne
2019-09-29
port to agda/2.6.0.1 and agda-stdlib/1.1
Helmut Grohne
2019-03-31
Generic.toList-fromList is Data.Vec.Properties.toList∘fromList
Helmut Grohne
2019-03-31
Generic.just-injective is Data.Maybe.just-injective
Helmut Grohne
2019-03-31
FinMap.lemma-lookupM-delete is another variant of Data.Vec.Properties.lookupâ...
Helmut Grohne
2019-03-31
FinMap.lemma-lookupM-fromFunc is almost Data.Vec.Properties.lookup∘tabulate
Helmut Grohne
2019-03-31
FinMap.lemma-tabulate-∘ is also known as Data.Vec.Properties.tabulate-cong
Helmut Grohne
2019-03-31
replace FinMap.lemma-lookupM-empty with Data.Vec.Properties.lookup-replicate
Helmut Grohne
[...]
Clone
git://git.subdivi.de/~helmut/bidiragda.git
https://git.subdivi.de/~helmut/bidiragda.git