diff options
author | Simon Van Casteren <simon.van.casteren@gmail.com> | 2019-12-08 20:50:40 +0100 |
---|---|---|
committer | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 11:46:57 +0100 |
commit | f5bfb7ab3a23485230a97b87ac5839eea8c79486 (patch) | |
tree | d9c4efba39fa62a24db335a6c44347682ec3ef7f /src/sources | |
parent | e6b943962dd1bf522a67178220cb1753d34240fa (diff) |
Added initial version of lsp
Diffstat (limited to 'src/sources')
-rw-r--r-- | src/sources | 6 |
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 |