Skip to content

Indexed grammars as a LFP of an endofunctor (#18) #50

Indexed grammars as a LFP of an endofunctor (#18)

Indexed grammars as a LFP of an endofunctor (#18) #50

Annotations

1 warning

compile-agda

succeeded Sep 27, 2024 in 19m 56s