summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterfix deprecation warning about Any.any with agda-stdlib 1.7.1Helmut Grohne20 months
 
 
AgeCommit messageAuthor
2022-08-18fix deprecation warning about Any.any with agda-stdlib 1.7.1HEADmasterHelmut Grohne
2020-08-01move imports for agda-stdlib 1.3Helmut Grohne
2020-08-01individually open ≡-ReasoningHelmut Grohne
2019-09-29port to agda/2.6.0.1 and agda-stdlib/1.1Helmut Grohne
2019-03-31Generic.toList-fromList is Data.Vec.Properties.toList∘fromListHelmut Grohne
2019-03-31Generic.just-injective is Data.Maybe.just-injectiveHelmut Grohne
2019-03-31FinMap.lemma-lookupM-delete is another variant of Data.Vec.Properties.lookupâ...Helmut Grohne
2019-03-31FinMap.lemma-lookupM-fromFunc is almost Data.Vec.Properties.lookup∘tabulateHelmut Grohne
2019-03-31FinMap.lemma-tabulate-∘ is also known as Data.Vec.Properties.tabulate-congHelmut Grohne
2019-03-31replace FinMap.lemma-lookupM-empty with Data.Vec.Properties.lookup-replicateHelmut Grohne
[...]
 
Clone
git://git.subdivi.de/~helmut/bidiragda.git
https://git.subdivi.de/~helmut/bidiragda.git
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-28 15:01:02 +0000