GitHub repository: maxsnew/grammars-and-semantic-actions
Primary language: Agda
Created: 2022-08-12T19:32:37Z
Description: Intrinsic Verification of Formal Grammar Theory