1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00

Stub in a module for term evaluators.

This commit is contained in:
Rob Rix 2018-05-15 11:40:10 -04:00
parent 4c712abf83
commit 70c28fa288
2 changed files with 2 additions and 0 deletions

View File

@ -44,6 +44,7 @@ library
, Control.Abstract.Matching
, Control.Abstract.Modules
, Control.Abstract.Roots
, Control.Abstract.TermEvaluator
, Control.Abstract.Value
-- Datatypes for abstract interpretation
, Data.Abstract.Address

View File

@ -0,0 +1 @@
module Control.Abstract.TermEvaluator where