issues
search
atlanmod
/
coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Other
13
stars
12
forks
source link
a typeclass for ConcreteSyntax, containing just parse
#99
Open
veriatl
opened
3 years ago
veriatl
commented
3 years ago
refactoring parse functions from concrete syntax, for clarity
refactoring parse functions from concrete syntax, for clarity