search

atlanmod / coqtl

CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Other
13 stars 12 forks source link

Expr and evalExpr should be in a separate typeclass #101

Open veriatl opened 3 years ago

veriatl commented 3 years ago

Currently we have only one implementation of expression evaluation, that is used by base and modeling