From 407a2a4a0a440c41adc19fbe8b67283b7b7c65ab Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Mon, 19 Feb 2024 12:57:26 +0100
Subject: core syntax, semantic domain, evaluation

---
 lib/Eval.mli | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 lib/Eval.mli

(limited to 'lib/Eval.mli')

diff --git a/lib/Eval.mli b/lib/Eval.mli
new file mode 100644
index 0000000..aaa8977
--- /dev/null
+++ b/lib/Eval.mli
@@ -0,0 +1 @@
+val eval : env:Domain.env -> Syntax.tm -> Domain.value
-- 
cgit 1.4.1