summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
authorGravatar Simon Van Casteren <simon.van.casteren@gmail.com>2019-12-08 20:50:40 +0100
committerGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-13 11:46:57 +0100
commitf5bfb7ab3a23485230a97b87ac5839eea8c79486 (patch)
treed9c4efba39fa62a24db335a6c44347682ec3ef7f /src/sources
parente6b943962dd1bf522a67178220cb1753d34240fa (diff)
Added initial version of lsp
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sources b/src/sources
index 20d77483..c407ea2a 100644
--- a/src/sources
+++ b/src/sources
@@ -277,6 +277,12 @@ $(SRC)/compiler.sml
$(SRC)/getinfo.sig
$(SRC)/getinfo.sml
+$(SRC)/json.sig
+$(SRC)/json.sml
+
+$(SRC)/lsp.sig
+$(SRC)/lsp.sml
+
$(SRC)/demo.sig
$(SRC)/demo.sml