Skip to content

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

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

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

Annotations

1 error and 1 warning

compile-agda

failed Oct 28, 2024 in 15m 10s