docs/jsxsi.html

nilqed · Dec 15, 2018 · 746820c · 746820c
1 parent 939e68c
commit 746820c
Show file tree

Hide file tree

Showing 4 changed files with 639,780 additions and 0 deletions.
diff --git a/docs/fsroot/mydouble.clp b/docs/fsroot/mydouble.clp
@@ -0,0 +1 @@
+(deffunction mydouble (?x) (return (* 2 ?x)))
diff --git a/docs/fsroot/myenvload.clp b/docs/fsroot/myenvload.clp
@@ -0,0 +1 @@
+(deffunction mytriple (?x) (return (* 3 ?x)))
diff --git a/docs/jsxsi.html b/docs/jsxsi.html
diff --git a/jsxsi.html b/jsxsi.html