├── .gitattributes ├── .gitignore ├── CHANGELOG.md ├── LICENSE.txt ├── Makefile ├── README.md ├── assets ├── shen.png ├── shen.svg ├── shen_noname.png └── shen_noname.svg ├── benchmarks ├── benchmarks.shen ├── control-flow.shen ├── data.shen ├── equality-check.shen ├── pattern-matching.shen └── shen-compilation.shen ├── doc ├── benchmarks.md ├── extensions.md ├── extensions │ ├── expand-dynamic.md │ ├── factorise-defun.md │ ├── features.md │ ├── launcher.md │ └── programmable-pattern-matching.md ├── port-performance.md ├── port-upgrades.md ├── porting.md └── system-functions.md ├── extensions ├── expand-dynamic.shen ├── factorise-defun.shen ├── features.shen ├── launcher.shen └── programmable-pattern-matching.shen ├── make.shen ├── sources ├── README.txt ├── backend.shen ├── core.shen ├── declarations.shen ├── dict.shen ├── load.shen ├── macros.shen ├── make.shen ├── prolog.shen ├── reader.shen ├── sequent.shen ├── sys.shen ├── t-star.shen ├── toplevel.shen ├── track.shen ├── types.shen ├── writer.shen └── yacc.shen ├── stlib ├── Calendar │ └── date.shen ├── Concurrency │ ├── concurrency.dtype │ └── concurrency.shen ├── Data │ └── data.shen ├── Encrypt │ ├── az.txt │ ├── encrypt.shen │ └── tbos.txt ├── IDE │ ├── ide.shen │ └── idedec.shen ├── IO │ ├── delete-file.shen │ ├── files.shen │ └── prettyprint.shen ├── LICENSE ├── Lists │ └── lists.shen ├── Maths │ ├── complex.dtype │ ├── complex.shen │ ├── macros.shen │ ├── maths.shen │ ├── numerals.dtype │ ├── numerals.shen │ ├── r.shen │ ├── rationals.dtype │ └── rationals.shen ├── README.txt ├── Strings │ ├── macros.shen │ ├── regex.shen │ ├── smart.shen │ ├── smartmem.shen │ └── strings.shen ├── Symbols │ ├── symbols1.shen │ └── symbols2.shen ├── Tk │ ├── interface.shen │ ├── loadme.shen │ ├── macros.shen │ ├── package.shen │ ├── root.tcl │ ├── test.shen │ ├── test.tcl │ ├── types.shen │ ├── web.shen │ └── widgets.shen ├── Tuples │ └── tuples.shen ├── Vectors │ ├── jnk.shen │ ├── macros.shen │ └── vectors.shen ├── install.shen ├── macros.shen ├── package-stlib.shen ├── shen-to-tcl.txt └── tcl-to-shen.txt └── tests ├── README ├── binary.shen ├── bubble version 1.shen ├── bubble version 2.shen ├── c-minus.shen ├── calculator.shen ├── call.shen ├── cartprod.shen ├── change.shen ├── classes-defaults.shen ├── classes-inheritance.shen ├── classes-typed.shen ├── classes-untyped.shen ├── cut.shen ├── depth.shen ├── einsteins-riddle.shen ├── findall.shen ├── fork.shen ├── harness.shen ├── interpreter.shen ├── kerneltests.shen ├── lisp.shen ├── metaprog.shen ├── minim.shen ├── montague.shen ├── mutual.shen ├── n queens-axioms.shen ├── n queens-r.shen ├── n queens.axioms ├── n queens.shen ├── nreverseprolog.shen ├── parseprolog.shen ├── parser.shen ├── powerset.shen ├── prime.shen ├── prolog.shen ├── prologinterp.shen ├── proof assistant.shen ├── propcalcprolog.shen ├── proplog version 1.shen ├── proplog version 2.shen ├── qmachine.shen ├── runme.shen ├── search.shen ├── secd1.shen ├── semantic net.shen ├── spreadsheet.shen ├── stack.shen ├── streams.shen ├── strings.shen ├── structures-typed.shen ├── structures-untyped.shen ├── tableauprolog.shen ├── totalprolog.shen ├── unification.shen └── yacc.shen /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /klambda/ 2 | /release/ 3 | /shen-cl/ 4 | .DS_Store 5 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/README.md -------------------------------------------------------------------------------- /assets/shen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/assets/shen.png -------------------------------------------------------------------------------- /assets/shen.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/assets/shen.svg -------------------------------------------------------------------------------- /assets/shen_noname.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/assets/shen_noname.png -------------------------------------------------------------------------------- /assets/shen_noname.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/assets/shen_noname.svg -------------------------------------------------------------------------------- /benchmarks/benchmarks.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/benchmarks/benchmarks.shen -------------------------------------------------------------------------------- /benchmarks/control-flow.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/benchmarks/control-flow.shen -------------------------------------------------------------------------------- /benchmarks/data.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/benchmarks/data.shen -------------------------------------------------------------------------------- /benchmarks/equality-check.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/benchmarks/equality-check.shen -------------------------------------------------------------------------------- /benchmarks/pattern-matching.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/benchmarks/pattern-matching.shen -------------------------------------------------------------------------------- /benchmarks/shen-compilation.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/benchmarks/shen-compilation.shen -------------------------------------------------------------------------------- /doc/benchmarks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/benchmarks.md -------------------------------------------------------------------------------- /doc/extensions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/extensions.md -------------------------------------------------------------------------------- /doc/extensions/expand-dynamic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/extensions/expand-dynamic.md -------------------------------------------------------------------------------- /doc/extensions/factorise-defun.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/extensions/factorise-defun.md -------------------------------------------------------------------------------- /doc/extensions/features.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/extensions/features.md -------------------------------------------------------------------------------- /doc/extensions/launcher.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/extensions/launcher.md -------------------------------------------------------------------------------- /doc/extensions/programmable-pattern-matching.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/extensions/programmable-pattern-matching.md -------------------------------------------------------------------------------- /doc/port-performance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/port-performance.md -------------------------------------------------------------------------------- /doc/port-upgrades.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/port-upgrades.md -------------------------------------------------------------------------------- /doc/porting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/porting.md -------------------------------------------------------------------------------- /doc/system-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/doc/system-functions.md -------------------------------------------------------------------------------- /extensions/expand-dynamic.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/extensions/expand-dynamic.shen -------------------------------------------------------------------------------- /extensions/factorise-defun.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/extensions/factorise-defun.shen -------------------------------------------------------------------------------- /extensions/features.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/extensions/features.shen -------------------------------------------------------------------------------- /extensions/launcher.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/extensions/launcher.shen -------------------------------------------------------------------------------- /extensions/programmable-pattern-matching.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/extensions/programmable-pattern-matching.shen -------------------------------------------------------------------------------- /make.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/make.shen -------------------------------------------------------------------------------- /sources/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/README.txt -------------------------------------------------------------------------------- /sources/backend.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/backend.shen -------------------------------------------------------------------------------- /sources/core.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/core.shen -------------------------------------------------------------------------------- /sources/declarations.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/declarations.shen -------------------------------------------------------------------------------- /sources/dict.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/dict.shen -------------------------------------------------------------------------------- /sources/load.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/load.shen -------------------------------------------------------------------------------- /sources/macros.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/macros.shen -------------------------------------------------------------------------------- /sources/make.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/make.shen -------------------------------------------------------------------------------- /sources/prolog.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/prolog.shen -------------------------------------------------------------------------------- /sources/reader.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/reader.shen -------------------------------------------------------------------------------- /sources/sequent.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/sequent.shen -------------------------------------------------------------------------------- /sources/sys.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/sys.shen -------------------------------------------------------------------------------- /sources/t-star.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/t-star.shen -------------------------------------------------------------------------------- /sources/toplevel.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/toplevel.shen -------------------------------------------------------------------------------- /sources/track.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/track.shen -------------------------------------------------------------------------------- /sources/types.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/types.shen -------------------------------------------------------------------------------- /sources/writer.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/writer.shen -------------------------------------------------------------------------------- /sources/yacc.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/sources/yacc.shen -------------------------------------------------------------------------------- /stlib/Calendar/date.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Calendar/date.shen -------------------------------------------------------------------------------- /stlib/Concurrency/concurrency.dtype: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Concurrency/concurrency.dtype -------------------------------------------------------------------------------- /stlib/Concurrency/concurrency.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Concurrency/concurrency.shen -------------------------------------------------------------------------------- /stlib/Data/data.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Data/data.shen -------------------------------------------------------------------------------- /stlib/Encrypt/az.txt: -------------------------------------------------------------------------------- 1 | the quick brown fox jumped over the lazy dog -------------------------------------------------------------------------------- /stlib/Encrypt/encrypt.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Encrypt/encrypt.shen -------------------------------------------------------------------------------- /stlib/Encrypt/tbos.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Encrypt/tbos.txt -------------------------------------------------------------------------------- /stlib/IDE/ide.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/IDE/ide.shen -------------------------------------------------------------------------------- /stlib/IDE/idedec.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/IDE/idedec.shen -------------------------------------------------------------------------------- /stlib/IO/delete-file.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/IO/delete-file.shen -------------------------------------------------------------------------------- /stlib/IO/files.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/IO/files.shen -------------------------------------------------------------------------------- /stlib/IO/prettyprint.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/IO/prettyprint.shen -------------------------------------------------------------------------------- /stlib/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/LICENSE -------------------------------------------------------------------------------- /stlib/Lists/lists.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Lists/lists.shen -------------------------------------------------------------------------------- /stlib/Maths/complex.dtype: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/complex.dtype -------------------------------------------------------------------------------- /stlib/Maths/complex.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/complex.shen -------------------------------------------------------------------------------- /stlib/Maths/macros.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/macros.shen -------------------------------------------------------------------------------- /stlib/Maths/maths.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/maths.shen -------------------------------------------------------------------------------- /stlib/Maths/numerals.dtype: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/numerals.dtype -------------------------------------------------------------------------------- /stlib/Maths/numerals.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/numerals.shen -------------------------------------------------------------------------------- /stlib/Maths/r.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/r.shen -------------------------------------------------------------------------------- /stlib/Maths/rationals.dtype: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/rationals.dtype -------------------------------------------------------------------------------- /stlib/Maths/rationals.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Maths/rationals.shen -------------------------------------------------------------------------------- /stlib/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/README.txt -------------------------------------------------------------------------------- /stlib/Strings/macros.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Strings/macros.shen -------------------------------------------------------------------------------- /stlib/Strings/regex.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Strings/regex.shen -------------------------------------------------------------------------------- /stlib/Strings/smart.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Strings/smart.shen -------------------------------------------------------------------------------- /stlib/Strings/smartmem.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Strings/smartmem.shen -------------------------------------------------------------------------------- /stlib/Strings/strings.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Strings/strings.shen -------------------------------------------------------------------------------- /stlib/Symbols/symbols1.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Symbols/symbols1.shen -------------------------------------------------------------------------------- /stlib/Symbols/symbols2.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Symbols/symbols2.shen -------------------------------------------------------------------------------- /stlib/Tk/interface.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/interface.shen -------------------------------------------------------------------------------- /stlib/Tk/loadme.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/loadme.shen -------------------------------------------------------------------------------- /stlib/Tk/macros.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/macros.shen -------------------------------------------------------------------------------- /stlib/Tk/package.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/package.shen -------------------------------------------------------------------------------- /stlib/Tk/root.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/root.tcl -------------------------------------------------------------------------------- /stlib/Tk/test.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/test.shen -------------------------------------------------------------------------------- /stlib/Tk/test.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/test.tcl -------------------------------------------------------------------------------- /stlib/Tk/types.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/types.shen -------------------------------------------------------------------------------- /stlib/Tk/web.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/web.shen -------------------------------------------------------------------------------- /stlib/Tk/widgets.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tk/widgets.shen -------------------------------------------------------------------------------- /stlib/Tuples/tuples.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Tuples/tuples.shen -------------------------------------------------------------------------------- /stlib/Vectors/jnk.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Vectors/jnk.shen -------------------------------------------------------------------------------- /stlib/Vectors/macros.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Vectors/macros.shen -------------------------------------------------------------------------------- /stlib/Vectors/vectors.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/Vectors/vectors.shen -------------------------------------------------------------------------------- /stlib/install.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/install.shen -------------------------------------------------------------------------------- /stlib/macros.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/macros.shen -------------------------------------------------------------------------------- /stlib/package-stlib.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/stlib/package-stlib.shen -------------------------------------------------------------------------------- /stlib/shen-to-tcl.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stlib/tcl-to-shen.txt: -------------------------------------------------------------------------------- 1 | "e" eot -------------------------------------------------------------------------------- /tests/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/README -------------------------------------------------------------------------------- /tests/binary.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/binary.shen -------------------------------------------------------------------------------- /tests/bubble version 1.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/bubble version 1.shen -------------------------------------------------------------------------------- /tests/bubble version 2.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/bubble version 2.shen -------------------------------------------------------------------------------- /tests/c-minus.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/c-minus.shen -------------------------------------------------------------------------------- /tests/calculator.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/calculator.shen -------------------------------------------------------------------------------- /tests/call.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/call.shen -------------------------------------------------------------------------------- /tests/cartprod.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/cartprod.shen -------------------------------------------------------------------------------- /tests/change.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/change.shen -------------------------------------------------------------------------------- /tests/classes-defaults.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/classes-defaults.shen -------------------------------------------------------------------------------- /tests/classes-inheritance.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/classes-inheritance.shen -------------------------------------------------------------------------------- /tests/classes-typed.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/classes-typed.shen -------------------------------------------------------------------------------- /tests/classes-untyped.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/classes-untyped.shen -------------------------------------------------------------------------------- /tests/cut.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/cut.shen -------------------------------------------------------------------------------- /tests/depth.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/depth.shen -------------------------------------------------------------------------------- /tests/einsteins-riddle.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/einsteins-riddle.shen -------------------------------------------------------------------------------- /tests/findall.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/findall.shen -------------------------------------------------------------------------------- /tests/fork.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/fork.shen -------------------------------------------------------------------------------- /tests/harness.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/harness.shen -------------------------------------------------------------------------------- /tests/interpreter.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/interpreter.shen -------------------------------------------------------------------------------- /tests/kerneltests.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/kerneltests.shen -------------------------------------------------------------------------------- /tests/lisp.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/lisp.shen -------------------------------------------------------------------------------- /tests/metaprog.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/metaprog.shen -------------------------------------------------------------------------------- /tests/minim.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/minim.shen -------------------------------------------------------------------------------- /tests/montague.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/montague.shen -------------------------------------------------------------------------------- /tests/mutual.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/mutual.shen -------------------------------------------------------------------------------- /tests/n queens-axioms.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/n queens-axioms.shen -------------------------------------------------------------------------------- /tests/n queens-r.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/n queens-r.shen -------------------------------------------------------------------------------- /tests/n queens.axioms: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/n queens.axioms -------------------------------------------------------------------------------- /tests/n queens.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/n queens.shen -------------------------------------------------------------------------------- /tests/nreverseprolog.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/nreverseprolog.shen -------------------------------------------------------------------------------- /tests/parseprolog.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/parseprolog.shen -------------------------------------------------------------------------------- /tests/parser.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/parser.shen -------------------------------------------------------------------------------- /tests/powerset.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/powerset.shen -------------------------------------------------------------------------------- /tests/prime.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/prime.shen -------------------------------------------------------------------------------- /tests/prolog.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/prolog.shen -------------------------------------------------------------------------------- /tests/prologinterp.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/prologinterp.shen -------------------------------------------------------------------------------- /tests/proof assistant.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/proof assistant.shen -------------------------------------------------------------------------------- /tests/propcalcprolog.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/propcalcprolog.shen -------------------------------------------------------------------------------- /tests/proplog version 1.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/proplog version 1.shen -------------------------------------------------------------------------------- /tests/proplog version 2.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/proplog version 2.shen -------------------------------------------------------------------------------- /tests/qmachine.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/qmachine.shen -------------------------------------------------------------------------------- /tests/runme.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/runme.shen -------------------------------------------------------------------------------- /tests/search.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/search.shen -------------------------------------------------------------------------------- /tests/secd1.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/secd1.shen -------------------------------------------------------------------------------- /tests/semantic net.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/semantic net.shen -------------------------------------------------------------------------------- /tests/spreadsheet.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/spreadsheet.shen -------------------------------------------------------------------------------- /tests/stack.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/stack.shen -------------------------------------------------------------------------------- /tests/streams.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/streams.shen -------------------------------------------------------------------------------- /tests/strings.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/strings.shen -------------------------------------------------------------------------------- /tests/structures-typed.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/structures-typed.shen -------------------------------------------------------------------------------- /tests/structures-untyped.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/structures-untyped.shen -------------------------------------------------------------------------------- /tests/tableauprolog.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/tableauprolog.shen -------------------------------------------------------------------------------- /tests/totalprolog.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/totalprolog.shen -------------------------------------------------------------------------------- /tests/unification.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/unification.shen -------------------------------------------------------------------------------- /tests/yacc.shen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Shen-Language/shen-sources/HEAD/tests/yacc.shen --------------------------------------------------------------------------------