Skip to content

fix(Lexicographic): remove unused decidable equality and lemmas #91

fix(Lexicographic): remove unused decidable equality and lemmas

fix(Lexicographic): remove unused decidable equality and lemmas #91

Triggered via push November 26, 2023 12:38
Status Success
Total duration 10s
Artifacts
Everything.agda
2s
Everything.agda
Fit to window
Zoom out
Zoom in