Skip to content

isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence #70

isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence

isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence #70

Annotations

1 warning

compile-agda

succeeded Oct 28, 2024 in 29m 18s