atlanmod/coqtl

Improve interface for expression evaluator

Closed this issue · 0 comments

Introduce types for expressions