├── .gitignore ├── README.md ├── decl-your-lang ├── .project ├── Makefile ├── bibliography.bib ├── body.tex ├── book.tex ├── cheat-sheets │ └── Spoofax Cheat Sheets.pages ├── commands │ ├── eclipse-colors.tex │ ├── eval.tex │ ├── grammars.tex │ ├── hyperref.cfg │ ├── labels.tex │ ├── languages │ │ ├── DynSem.tex │ │ ├── ESV.tex │ │ ├── Java.tex │ │ ├── NaBL.tex │ │ ├── PCFM.tex │ │ ├── SDF.tex │ │ ├── SPT.tex │ │ ├── Stratego.tex │ │ ├── TS.tex │ │ ├── aterm.tex │ │ ├── coq.tex │ │ └── paplj.tex │ ├── listings.tex │ ├── main.tex │ ├── notations.tex │ ├── notes.tex │ ├── resolution-calculus.tex │ ├── semantics.tex │ └── styles.tex ├── extension │ └── extension.tex ├── frontmatter.tex ├── getting-spoofax │ └── getting-spoofax.tex ├── language-definition │ └── language-definition.tex ├── names │ └── names.tex ├── preface │ └── preface.tex ├── releases │ ├── declare-your-language-0-1.pdf │ ├── declare-your-language-0-2.pdf │ ├── declare-your-language-0-3.pdf │ ├── declare-your-language-0-4.pdf │ └── declare-your-language.pdf ├── semantics │ └── semantics.tex ├── syntax │ ├── class01-abstract-syntax.pdf │ ├── class01-abstract-syntax.tiff │ ├── syntax-dev.pdf │ ├── syntax-dev.tiff │ └── syntax.tex ├── tests │ ├── class-spt.pdf │ ├── class-spt.tiff │ ├── expr-synta.spt.tiff │ ├── expr-syntax-spt.pdf │ ├── expr-syntax-spt.tiff │ ├── spoofax-test-runner.pdf │ ├── spoofax-test-runner.tiff │ └── tests.tex └── transformation │ └── transformation.tex ├── languages ├── ExerciseA │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── ExerciseA build.main.xml.launch │ │ └── ExerciseA clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── ExerciseA-Colorer.esv │ │ ├── ExerciseA-Completions.esv │ │ ├── ExerciseA-Folding.esv │ │ ├── ExerciseA-Menus.esv │ │ ├── ExerciseA-Outliner.str │ │ ├── ExerciseA-Refactorings.esv │ │ ├── ExerciseA-References.esv │ │ ├── ExerciseA-Syntax.esv │ │ ├── ExerciseA-Views.esv │ │ ├── ExerciseA.main.esv │ │ ├── Menu-Syntax.esv │ │ └── java │ │ │ └── ExerciseA │ │ │ ├── Activator.java │ │ │ ├── ExerciseAParseController.java │ │ │ ├── ExerciseAParseControllerGenerated.java │ │ │ ├── ExerciseAValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.ea │ │ │ ├── class02.ea │ │ │ ├── class03.ea │ │ │ ├── class04.ea │ │ │ ├── class05.ea │ │ │ ├── class06.ea │ │ │ ├── class07.ea │ │ │ └── class08.ea │ │ ├── expr │ │ │ ├── expr01.ea │ │ │ ├── expr02.ea │ │ │ ├── expr03.ea │ │ │ ├── expr04.ea │ │ │ ├── expr05.ea │ │ │ └── expr06.ea │ │ ├── language3 │ │ │ ├── counter.ea │ │ │ ├── fib-memo.ea │ │ │ ├── fib.ea │ │ │ ├── if.ea │ │ │ ├── nodelist.ea │ │ │ ├── test01.ea │ │ │ ├── test02.ea │ │ │ ├── test03.ea │ │ │ ├── test04.ea │ │ │ ├── test05.ea │ │ │ ├── test06.ea │ │ │ ├── test07.ea │ │ │ ├── test08.ea │ │ │ ├── test09.ea │ │ │ ├── test10.ea │ │ │ ├── test11.ea │ │ │ ├── test12.ea │ │ │ └── tree-sum.ea │ │ └── program │ │ │ └── program01.ea │ ├── include │ │ └── ExerciseA.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── ExerciseA.sdf3 │ │ ├── Expressions.sdf3 │ │ └── Programs.sdf3 │ ├── tests │ │ ├── class.spt │ │ ├── expr-arith-prec.spt │ │ ├── expr-arith.spt │ │ ├── expr-bool.spt │ │ ├── expr-syntax.spt │ │ ├── expr-syntax2.spt │ │ ├── expr-var.spt │ │ └── program.spt │ └── trans │ │ ├── builders │ │ ├── main.str │ │ └── syntax.str │ │ ├── exercisea.str │ │ └── pretty-print │ │ └── pp.str ├── ExerciseB │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── ExerciseB build.main.xml.launch │ │ └── ExerciseB clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── ExerciseB-Colorer.esv │ │ ├── ExerciseB-Completions.esv │ │ ├── ExerciseB-Folding.esv │ │ ├── ExerciseB-Menus.esv │ │ ├── ExerciseB-Outliner.str │ │ ├── ExerciseB-Refactorings.esv │ │ ├── ExerciseB-References.esv │ │ ├── ExerciseB-Syntax.esv │ │ ├── ExerciseB-Views.esv │ │ ├── ExerciseB.main.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ └── java │ │ │ └── ExerciseB │ │ │ ├── Activator.java │ │ │ ├── ExerciseBParseController.java │ │ │ ├── ExerciseBParseControllerGenerated.java │ │ │ ├── ExerciseBValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.eb │ │ │ ├── class02.eb │ │ │ ├── class03.eb │ │ │ ├── class03.xml │ │ │ ├── class04.eb │ │ │ ├── class05.eb │ │ │ ├── class06.eb │ │ │ └── class07.eb │ │ ├── expr │ │ │ ├── and-or.eb │ │ │ ├── expr01.eb │ │ │ ├── expr02.eb │ │ │ ├── expr03.eb │ │ │ ├── expr04.eb │ │ │ ├── expr05.eb │ │ │ ├── expr06.eb │ │ │ └── let-do.eb │ │ ├── language3 │ │ │ ├── counter.eb │ │ │ ├── fib-memo.eb │ │ │ ├── fib.eb │ │ │ ├── if.eb │ │ │ ├── nodelist.eb │ │ │ ├── test01.eb │ │ │ ├── test02.eb │ │ │ ├── test03.eb │ │ │ ├── test04.eb │ │ │ ├── test05.eb │ │ │ ├── test06.eb │ │ │ ├── test07.eb │ │ │ ├── test08.eb │ │ │ ├── test09.eb │ │ │ ├── test10.eb │ │ │ ├── test10.pp.eb │ │ │ ├── test11.eb │ │ │ ├── test12.eb │ │ │ └── tree-sum.eb │ │ └── program │ │ │ └── program01.eb │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── ExerciseB.sdf3 │ │ ├── Expressions.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── main.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── exerciseb.str │ │ ├── pretty-print │ │ └── pp.str │ │ ├── stratego-lib │ │ ├── list-strategies.str │ │ └── traversals.str │ │ └── to-xml │ │ ├── classes-to-xml.str │ │ ├── expressions-to-xml.str │ │ └── to-xml.str ├── ExerciseC │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── ExerciseC build.main.xml.launch │ │ └── ExerciseC clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── ExerciseC-Colorer.esv │ │ ├── ExerciseC-Completions.esv │ │ ├── ExerciseC-Folding.esv │ │ ├── ExerciseC-Menus.esv │ │ ├── ExerciseC-Outliner.str │ │ ├── ExerciseC-Refactorings.esv │ │ ├── ExerciseC-References.esv │ │ ├── ExerciseC-Syntax.esv │ │ ├── ExerciseC-Views.esv │ │ ├── ExerciseC.main.esv │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ └── java │ │ │ └── ExerciseC │ │ │ ├── Activator.java │ │ │ ├── ExerciseCParseController.java │ │ │ ├── ExerciseCParseControllerGenerated.java │ │ │ ├── ExerciseCValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.ec │ │ │ ├── class02.ec │ │ │ ├── class03.ec │ │ │ ├── class04.ec │ │ │ ├── class05.ec │ │ │ ├── class06.ec │ │ │ └── class07.ec │ │ ├── expr │ │ │ ├── and-or.ec │ │ │ ├── expr01.ec │ │ │ ├── expr02.ec │ │ │ ├── expr03.ec │ │ │ ├── expr04.ec │ │ │ ├── expr05.ec │ │ │ ├── expr06.ec │ │ │ └── let-do.ec │ │ └── program │ │ │ ├── counter.ec │ │ │ ├── fib-memo.ec │ │ │ ├── fib.ec │ │ │ ├── if.ec │ │ │ ├── if01.ec │ │ │ ├── nodelist.ec │ │ │ ├── program01.ec │ │ │ ├── test01.ec │ │ │ ├── test02.ec │ │ │ ├── test03.ec │ │ │ ├── test04.ec │ │ │ ├── test05.ec │ │ │ ├── test06.ec │ │ │ ├── test07.ec │ │ │ ├── test08.ec │ │ │ ├── test09.ec │ │ │ ├── test10.ec │ │ │ ├── test11.ec │ │ │ ├── test12.ec │ │ │ └── tree-sum.ec │ ├── include │ │ └── ExerciseC.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── ExerciseC.sdf3 │ │ ├── Expressions.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ └── names.nab │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── exercisec.str │ │ ├── generate │ │ └── generate.str │ │ └── pretty-print │ │ └── pp.str ├── ExerciseD │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── ExerciseD build.main.xml.launch │ │ └── ExerciseD clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── ExerciseD-Colorer.esv │ │ ├── ExerciseD-Completions.esv │ │ ├── ExerciseD-Folding.esv │ │ ├── ExerciseD-Menus.esv │ │ ├── ExerciseD-Outliner.str │ │ ├── ExerciseD-Refactorings.esv │ │ ├── ExerciseD-References.esv │ │ ├── ExerciseD-Syntax.esv │ │ ├── ExerciseD-Views.esv │ │ ├── ExerciseD.main.esv │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ └── java │ │ │ └── ExerciseD │ │ │ ├── Activator.java │ │ │ ├── ExerciseDParseController.java │ │ │ ├── ExerciseDParseControllerGenerated.java │ │ │ ├── ExerciseDValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.ed │ │ │ ├── class02.ed │ │ │ ├── class03.ed │ │ │ ├── class04.ed │ │ │ ├── class05.ed │ │ │ ├── class06.ed │ │ │ └── class07.ed │ │ ├── expr │ │ │ ├── and-or.ed │ │ │ ├── expr01.ed │ │ │ ├── expr02.ed │ │ │ ├── expr03.ed │ │ │ ├── expr04.ed │ │ │ ├── expr05.ed │ │ │ ├── expr06.ed │ │ │ └── let-do.ed │ │ └── program │ │ │ ├── counter.ed │ │ │ ├── fib-memo.ed │ │ │ ├── fib.ed │ │ │ ├── if.ed │ │ │ ├── if01.ed │ │ │ ├── nodelist.ed │ │ │ ├── program01.ed │ │ │ ├── test01.ed │ │ │ ├── test02.ed │ │ │ ├── test03.ed │ │ │ ├── test04.ed │ │ │ ├── test05.ed │ │ │ ├── test06.ed │ │ │ ├── test07.ed │ │ │ ├── test08.ed │ │ │ ├── test09.ed │ │ │ ├── test10.ed │ │ │ ├── test11.ed │ │ │ ├── test12.ed │ │ │ └── tree-sum.ed │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── ExerciseD.sdf3 │ │ ├── Expressions.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ ├── names.nab │ │ ├── types-manual.str │ │ └── types.ts │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── exercised.str │ │ ├── generate │ │ └── generate.str │ │ └── pretty-print │ │ └── pp.str ├── ExerciseE │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── ExerciseE build.main.xml.launch │ │ └── ExerciseE clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── ExerciseE-Colorer.esv │ │ ├── ExerciseE-Completions.esv │ │ ├── ExerciseE-Folding.esv │ │ ├── ExerciseE-Menus.esv │ │ ├── ExerciseE-Outliner.str │ │ ├── ExerciseE-Refactorings.esv │ │ ├── ExerciseE-References.esv │ │ ├── ExerciseE-Syntax.esv │ │ ├── ExerciseE-Views.esv │ │ ├── ExerciseE.main.esv │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Run.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ ├── interpreter │ │ │ └── Natives.java │ │ └── java │ │ │ ├── ExerciseE │ │ │ ├── Activator.java │ │ │ ├── ExerciseEParseController.java │ │ │ ├── ExerciseEParseControllerGenerated.java │ │ │ ├── ExerciseEValidator.java │ │ │ └── strategies │ │ │ │ ├── InteropRegisterer.java │ │ │ │ ├── Main.java │ │ │ │ ├── class01.ee │ │ │ │ ├── java_strategy_0_0.java │ │ │ │ └── runprogram_0_0.java │ │ │ └── ds │ │ │ └── manual │ │ │ └── interpreter │ │ │ └── Natives.java │ ├── examples │ │ ├── class │ │ │ ├── class02.ee │ │ │ ├── class03.ee │ │ │ ├── class04.ee │ │ │ ├── class05.ee │ │ │ ├── class06.ee │ │ │ └── class07.ee │ │ ├── expr │ │ │ ├── and-or.ee │ │ │ ├── expr01.ee │ │ │ ├── expr02.ee │ │ │ ├── expr03.ee │ │ │ ├── expr04.ee │ │ │ ├── expr05.ee │ │ │ ├── expr06.ee │ │ │ └── let-do.ee │ │ └── program │ │ │ ├── counter.ee │ │ │ ├── fib-memo.ee │ │ │ ├── fib.ee │ │ │ ├── if.ee │ │ │ ├── if01.ee │ │ │ ├── nodelist.ee │ │ │ ├── program01.ee │ │ │ ├── test01.ee │ │ │ ├── test02.ee │ │ │ ├── test03.ee │ │ │ ├── test04.ee │ │ │ ├── test05.ee │ │ │ ├── test06.ee │ │ │ ├── test07.ee │ │ │ ├── test08.ee │ │ │ ├── test09.ee │ │ │ ├── test10.ee │ │ │ ├── test11.ee │ │ │ ├── test12.ee │ │ │ └── tree-sum.ee │ ├── include │ │ └── ExerciseE.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── ExerciseE.sdf3 │ │ ├── Expressions.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── run.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ ├── names.nab │ │ ├── types-manual.str │ │ └── types.ts │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar-types.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── exercisee.str │ │ ├── generate │ │ └── generate.str │ │ ├── pretty-print │ │ └── pp.str │ │ └── semantics │ │ ├── interpret.ds │ │ ├── runtime │ │ ├── environment.ds │ │ ├── primitives.ds │ │ ├── runtime.ds │ │ ├── store.ds │ │ └── values.ds │ │ ├── semantics.ds │ │ ├── signatures │ │ ├── Classes-sig.ds │ │ ├── Common-sig.ds │ │ ├── Expressions-sig.ds │ │ ├── LangE-sig.ds │ │ └── Programs-sig.ds │ │ └── values.ds ├── LanguageA │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── LangA build.main.xml.launch │ │ └── LangA clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── LangA-Colorer.esv │ │ ├── LangA-Completions.esv │ │ ├── LangA-Folding.esv │ │ ├── LangA-Menus.esv │ │ ├── LangA-Outliner.str │ │ ├── LangA-Refactorings.esv │ │ ├── LangA-References.esv │ │ ├── LangA-Syntax.esv │ │ ├── LangA-Views.esv │ │ ├── LangA.main.esv │ │ ├── Menu-Syntax.esv │ │ └── java │ │ │ └── dyl │ │ │ └── language │ │ │ └── a │ │ │ ├── Activator.java │ │ │ ├── LangAParseController.java │ │ │ ├── LangAParseControllerGenerated.java │ │ │ ├── LangAValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.aterm │ │ │ ├── class01.la │ │ │ ├── class01.pp.la │ │ │ ├── class02.la │ │ │ ├── class03.la │ │ │ ├── class04.la │ │ │ ├── class05.la │ │ │ ├── class06.la │ │ │ └── class07.la │ │ ├── expr │ │ │ ├── expr01.la │ │ │ ├── expr02.la │ │ │ ├── expr03.la │ │ │ ├── expr04.la │ │ │ ├── expr05.la │ │ │ └── expr06.la │ │ ├── language3 │ │ │ ├── counter.la │ │ │ ├── fib-memo.la │ │ │ ├── fib.la │ │ │ ├── if.la │ │ │ ├── nodelist.la │ │ │ ├── test01.la │ │ │ ├── test02.la │ │ │ ├── test03.la │ │ │ ├── test04.la │ │ │ ├── test05.la │ │ │ ├── test06.la │ │ │ ├── test07.la │ │ │ ├── test08.la │ │ │ ├── test09.la │ │ │ ├── test10.la │ │ │ ├── test11.la │ │ │ ├── test12.la │ │ │ └── tree-sum.la │ │ └── program │ │ │ ├── program01.aterm │ │ │ └── program01.la │ ├── include │ │ └── LangA.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── ArithmeticExpressions.sdf3 │ │ ├── BasicExpressions.sdf3 │ │ ├── BasicPrograms.sdf3 │ │ ├── BooleanExpressions.sdf3 │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── LangA.sdf3 │ │ ├── LangA.sdf3.copy │ │ ├── PrecedenceExpressions.sdf3 │ │ ├── Programs.sdf3 │ │ └── ProgramsPlain.sdf3 │ ├── tests │ │ ├── class.spt │ │ ├── expr-arith-prec.spt │ │ ├── expr-arith.spt │ │ ├── expr-bool.spt │ │ ├── expr-syntax.spt │ │ ├── expr-syntax2.spt │ │ ├── expr-var.spt │ │ └── program.spt │ └── trans │ │ ├── builders │ │ ├── main.str │ │ └── syntax.str │ │ ├── langa.str │ │ └── pretty-print │ │ └── pp.str ├── LanguageB │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── LangB build.main.xml.launch │ │ └── LangB clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── LangB-Colorer.esv │ │ ├── LangB-Completions.esv │ │ ├── LangB-Folding.esv │ │ ├── LangB-Menus.esv │ │ ├── LangB-Outliner.str │ │ ├── LangB-Refactorings.esv │ │ ├── LangB-References.esv │ │ ├── LangB-Syntax.esv │ │ ├── LangB-Views.esv │ │ ├── LangB.main.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ └── java │ │ │ └── org │ │ │ └── metaborg │ │ │ └── dyl │ │ │ └── languageb │ │ │ ├── Activator.java │ │ │ ├── LangBParseController.java │ │ │ ├── LangBParseControllerGenerated.java │ │ │ ├── LangBValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.lb │ │ │ ├── class02.lb │ │ │ ├── class03.lb │ │ │ ├── class04.lb │ │ │ ├── class05.lb │ │ │ ├── class06.lb │ │ │ └── class07.lb │ │ ├── expr │ │ │ ├── and-or.aterm │ │ │ ├── and-or.desugared.aterm │ │ │ ├── and-or.desugared.lb │ │ │ ├── and-or.lb │ │ │ ├── expr01.lb │ │ │ ├── expr02.lb │ │ │ ├── expr03.lb │ │ │ ├── expr04.lb │ │ │ ├── expr05.lb │ │ │ ├── expr06.lb │ │ │ ├── let-do.aterm │ │ │ ├── let-do.aterm.txt │ │ │ ├── let-do.desugared.aterm │ │ │ ├── let-do.desugared.aterm.txt │ │ │ ├── let-do.desugared.lb │ │ │ ├── let-do.desugared.lb.txt │ │ │ └── let-do.lb │ │ ├── language3 │ │ │ ├── counter.lb │ │ │ ├── fib-memo.aterm.lb │ │ │ ├── fib-memo.lb │ │ │ ├── fib.lb │ │ │ ├── if.lb │ │ │ ├── nodelist.aterm.lb │ │ │ ├── nodelist.lb │ │ │ ├── test01.lb │ │ │ ├── test02.lb │ │ │ ├── test03.lb │ │ │ ├── test04.lb │ │ │ ├── test05.lb │ │ │ ├── test06.lb │ │ │ ├── test07.lb │ │ │ ├── test08.lb │ │ │ ├── test09.lb │ │ │ ├── test10.lb │ │ │ ├── test11.lb │ │ │ ├── test12.lb │ │ │ └── tree-sum.lb │ │ └── program │ │ │ ├── program01.aterm.lb │ │ │ └── program01.lb │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── LangB.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── main.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── langb.str │ │ ├── pretty-print │ │ └── pp.str │ │ ├── stratego-lib │ │ ├── list-strategies.str │ │ └── traversals.str │ │ └── to-xml │ │ ├── classes-to-xml.str │ │ ├── expressions-to-xml.str │ │ └── to-xml.str ├── LanguageC │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── LangC build.main.xml.launch │ │ └── LangC clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── LangC-Colorer.esv │ │ ├── LangC-Completions.esv │ │ ├── LangC-Folding.esv │ │ ├── LangC-Menus.esv │ │ ├── LangC-Outliner.str │ │ ├── LangC-Refactorings.esv │ │ ├── LangC-References.esv │ │ ├── LangC-Syntax.esv │ │ ├── LangC-Views.esv │ │ ├── LangC.main.esv │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ └── java │ │ │ └── org │ │ │ └── metaborgcube │ │ │ └── languagec │ │ │ ├── Activator.java │ │ │ ├── LangCParseController.java │ │ │ ├── LangCParseControllerGenerated.java │ │ │ ├── LangCValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.lc │ │ │ ├── class02.lc │ │ │ ├── class03.lc │ │ │ ├── class04.lc │ │ │ ├── class05.lc │ │ │ ├── class06.lc │ │ │ └── class07.lc │ │ ├── expr │ │ │ ├── and-or.lc │ │ │ ├── expr01.lc │ │ │ ├── expr02.lc │ │ │ ├── expr03.lc │ │ │ ├── expr04.lc │ │ │ ├── expr05.lc │ │ │ ├── expr06.lc │ │ │ └── let-do.lc │ │ └── program │ │ │ ├── counter.lc │ │ │ ├── fib-memo.lc │ │ │ ├── fib.lc │ │ │ ├── if.lc │ │ │ ├── if01.lc │ │ │ ├── nodelist.lc │ │ │ ├── program01.lc │ │ │ ├── test01.lc │ │ │ ├── test02.lc │ │ │ ├── test03.lc │ │ │ ├── test04.lc │ │ │ ├── test05.lc │ │ │ ├── test06.lc │ │ │ ├── test07.lc │ │ │ ├── test08.lc │ │ │ ├── test09.lc │ │ │ ├── test10.lc │ │ │ ├── test11.lc │ │ │ ├── test12.lc │ │ │ └── tree-sum.lc │ ├── include │ │ └── LangC.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── LangC.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ └── names.nab │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── generate │ │ └── generate.str │ │ ├── langc.str │ │ └── pretty-print │ │ └── pp.str ├── LanguageD │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── LangD build.main.xml.launch │ │ └── LangD clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── LangD-Colorer.esv │ │ ├── LangD-Completions.esv │ │ ├── LangD-Folding.esv │ │ ├── LangD-Menus.esv │ │ ├── LangD-Outliner.str │ │ ├── LangD-Refactorings.esv │ │ ├── LangD-References.esv │ │ ├── LangD-Syntax.esv │ │ ├── LangD-Views.esv │ │ ├── LangD.main.esv │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ └── java │ │ │ └── org │ │ │ └── metaborg │ │ │ └── dyl │ │ │ └── langd │ │ │ ├── Activator.java │ │ │ ├── LangDParseController.java │ │ │ ├── LangDParseControllerGenerated.java │ │ │ ├── LangDValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.ld │ │ │ ├── class02.ld │ │ │ ├── class03.ld │ │ │ ├── class04.ld │ │ │ ├── class05.ld │ │ │ ├── class06.ld │ │ │ └── class07.ld │ │ ├── expr │ │ │ ├── and-or.ld │ │ │ ├── expr01.ld │ │ │ ├── expr02.ld │ │ │ ├── expr03.ld │ │ │ ├── expr04.ld │ │ │ ├── expr05.ld │ │ │ ├── expr06.ld │ │ │ └── let-do.ld │ │ └── program │ │ │ ├── counter.ld │ │ │ ├── fib-memo.ld │ │ │ ├── fib.ld │ │ │ ├── if.ld │ │ │ ├── if01.ld │ │ │ ├── nodelist.ld │ │ │ ├── program01.ld │ │ │ ├── test01.ld │ │ │ ├── test02.ld │ │ │ ├── test03.ld │ │ │ ├── test04.ld │ │ │ ├── test05.ld │ │ │ ├── test06.ld │ │ │ ├── test07.ld │ │ │ ├── test08.ld │ │ │ ├── test09.ld │ │ │ ├── test10.ld │ │ │ ├── test11.ld │ │ │ ├── test12.ld │ │ │ └── tree-sum.ld │ ├── include │ │ └── LangD.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── LangD.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ ├── names.nab │ │ ├── types-manual.str │ │ └── types.ts │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── generate │ │ └── generate.str │ │ ├── langd.str │ │ └── pretty-print │ │ └── pp.str ├── LanguageE │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── LangE build.main.xml.launch │ │ └── LangE clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── LangE-Colorer.esv │ │ ├── LangE-Completions.esv │ │ ├── LangE-Folding.esv │ │ ├── LangE-Menus.esv │ │ ├── LangE-Outliner.str │ │ ├── LangE-Refactorings.esv │ │ ├── LangE-References.esv │ │ ├── LangE-Syntax.esv │ │ ├── LangE-Views.esv │ │ ├── LangE.main.esv │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Run.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ └── java │ │ │ ├── ds │ │ │ └── manual │ │ │ │ └── interpreter │ │ │ │ └── Natives.java │ │ │ └── org │ │ │ └── metborgcube │ │ │ └── dyl │ │ │ └── languagee │ │ │ ├── Activator.java │ │ │ ├── LangEParseController.java │ │ │ ├── LangEParseControllerGenerated.java │ │ │ ├── LangEValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ ├── java_strategy_0_0.java │ │ │ └── runprogram_0_0.java │ ├── examples │ │ ├── class │ │ │ ├── class01.le │ │ │ ├── class02.le │ │ │ ├── class03.le │ │ │ ├── class04.le │ │ │ ├── class05.le │ │ │ ├── class06.le │ │ │ └── class07.le │ │ ├── expr │ │ │ ├── and-or.le │ │ │ ├── expr01.le │ │ │ ├── expr02.le │ │ │ ├── expr03.le │ │ │ ├── expr04.le │ │ │ ├── expr05.le │ │ │ ├── expr06.le │ │ │ └── let-do.le │ │ └── program │ │ │ ├── counter.le │ │ │ ├── fib-memo.le │ │ │ ├── fib.le │ │ │ ├── if.le │ │ │ ├── if01.le │ │ │ ├── nodelist.le │ │ │ ├── program01.le │ │ │ ├── test01.le │ │ │ ├── test02.le │ │ │ ├── test03.le │ │ │ ├── test04.le │ │ │ ├── test05.le │ │ │ ├── test06.le │ │ │ ├── test07.le │ │ │ ├── test08.le │ │ │ ├── test09.le │ │ │ ├── test10.le │ │ │ ├── test11.le │ │ │ ├── test12.le │ │ │ └── tree-sum.le │ ├── include │ │ └── LangE.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── LangE.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── run.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ ├── names.nab │ │ ├── types-manual.str │ │ └── types.ts │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar-types.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── generate │ │ └── generate.str │ │ ├── lange.str │ │ ├── pretty-print │ │ └── pp.str │ │ └── semantics │ │ ├── interpret.ds │ │ ├── runtime │ │ ├── environment.ds │ │ ├── primitives.ds │ │ ├── runtime.ds │ │ ├── store.ds │ │ └── values.ds │ │ ├── semantics.ds │ │ ├── signatures │ │ ├── Classes-sig.ds │ │ ├── Common-sig.ds │ │ ├── Expressions-sig.ds │ │ ├── LangE-sig.ds │ │ └── Programs-sig.ds │ │ └── values.ds ├── Stratego │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── Stratego build.main.xml.launch │ │ └── Stratego clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── Stratego-Colorer.esv │ │ ├── Stratego-Completions.esv │ │ ├── Stratego-Folding.esv │ │ ├── Stratego-Menus.esv │ │ ├── Stratego-Outliner.str │ │ ├── Stratego-Refactorings.esv │ │ ├── Stratego-References.esv │ │ ├── Stratego-Syntax.esv │ │ ├── Stratego-Views.esv │ │ ├── Stratego.main.esv │ │ └── java │ │ │ └── org │ │ │ └── metaborgcube │ │ │ └── lang │ │ │ └── stratego │ │ │ ├── Activator.java │ │ │ ├── StrategoParseController.java │ │ │ ├── StrategoParseControllerGenerated.java │ │ │ ├── StrategoValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── include │ │ └── Stratego.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── semantics │ │ ├── build.ds │ │ ├── match.ds │ │ └── terms.ds │ ├── syntax │ │ ├── Common.sdf3 │ │ ├── Patterns.sdf3 │ │ ├── Stratego.sdf3 │ │ └── Terms.sdf3 │ └── trans │ │ ├── check.str │ │ ├── generate.str │ │ ├── names.nab │ │ ├── pp.str │ │ └── stratego.str ├── paplj.core │ └── paplj.core.full │ │ ├── .gitignore │ │ ├── editor │ │ ├── Colorer.esv │ │ ├── Menus.esv │ │ ├── PAPLJ.main.esv │ │ ├── Syntax.esv │ │ ├── Views.esv │ │ └── java │ │ │ └── PAPLJ │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ ├── java_strategy_0_0.java │ │ │ └── runprogram_0_0.java │ │ ├── pom.xml │ │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── PAPLJ.sdf3 │ │ ├── Programs.sdf3 │ │ └── Values.sdf3 │ │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── outline.str │ │ ├── run.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ ├── names.nab │ │ ├── types-manual.str │ │ └── types.ts │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar-types.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── generate │ │ └── generate.str │ │ ├── paplj.str │ │ ├── pretty-print │ │ └── pp.str │ │ └── semantics │ │ ├── interpret.ds │ │ ├── runtime │ │ ├── environment.ds │ │ ├── primitives.ds │ │ ├── runtime.ds │ │ ├── store.ds │ │ └── values.ds │ │ ├── semantics.core.ds │ │ ├── semantics.ds │ │ ├── signatures │ │ ├── Classes-sig.ds │ │ ├── Common-sig.ds │ │ ├── Expressions-sig.ds │ │ ├── PAPLJ-sig.ds │ │ └── Programs-sig.ds │ │ └── values.ds └── paplj │ ├── pack.sh │ ├── paplj-examples │ ├── .project │ ├── class │ │ ├── class02.pj │ │ ├── class03.pj │ │ ├── class04.pj │ │ ├── class05.pj │ │ ├── class06.pj │ │ └── class07.pj │ ├── expr │ │ ├── and-or.pj │ │ ├── expr01.pj │ │ ├── expr02.pj │ │ ├── expr03.pj │ │ ├── expr04.pj │ │ ├── expr05.pj │ │ ├── expr06.pj │ │ ├── let-do.pj │ │ └── let-in-let.pj │ └── program │ │ ├── bintree.pj │ │ ├── counter.pj │ │ ├── empty.pj │ │ ├── fib-memo.pj.bak │ │ ├── fib.pj │ │ ├── if.pj │ │ ├── if01.pj │ │ ├── nodelist.pj │ │ ├── program01.pj │ │ ├── test00.pj │ │ ├── test01.pj │ │ ├── test02.pj │ │ ├── test03.pj │ │ ├── test04.pj │ │ ├── test05.pj │ │ ├── test06.pj │ │ ├── test07.pj │ │ ├── test08.pj │ │ ├── test09.pj │ │ ├── test10.pj │ │ ├── test11.pj │ │ ├── test12.pj │ │ ├── test13.pj │ │ ├── test14.pj │ │ └── tree-sum.pj │ ├── paplj-exercises-names │ └── .project │ ├── paplj-exercises-semantics │ ├── .project │ ├── 5-1-booleans.spt │ ├── 5-2-numbers.spt │ ├── 5-3-variables.spt │ ├── 5-4-new.spt │ ├── 5-5-fields.spt │ ├── 5-6-methods.spt │ └── 5-7-counter.spt │ ├── paplj-exercises-transformation │ ├── .gitignore │ ├── .project │ ├── 2-1-desugaring-do.spt │ ├── 2-2-desugaring.spt │ ├── 2-3-resugaring-method-body.spt │ └── doodle.pj │ ├── paplj-exercises-types │ ├── .project │ ├── 3-name-analysis │ │ ├── 3-1-variables.spt │ │ ├── 3-2-fields.spt │ │ ├── 3-3-new.spt │ │ └── 3-4-methods.spt │ └── 4-type-analysis │ │ ├── 4-1-booleans.spt │ │ ├── 4-2-numbers.spt │ │ ├── 4-3-variables.spt │ │ ├── 4-4-new.spt │ │ ├── 4-5-fields.spt │ │ ├── 4-6-methods.spt │ │ ├── 4-7-add-type-annotations.spt │ │ ├── 4-8-resugaring-method-body.spt │ │ ├── doodle.pj │ │ └── node.pj │ ├── paplj-exercises │ ├── .project │ ├── 1-1-booleans.spt │ ├── 1-2-numbers.spt │ ├── 1-3-combining-operators.spt │ ├── 1-4-disambiguation.spt │ ├── 1-5-object-expressions.spt │ ├── 1-5-variables.spt │ ├── 1-6-classes-with-fields.spt │ ├── 1-7-classes-with-new.spt │ ├── 1-8-classes-with-methods.spt │ ├── 1-9-counter.spt │ ├── counter.pj │ └── doodle.pj │ ├── paplj.analysis │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── PAPLJ build.main.xml.launch │ │ └── PAPLJ clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Run.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ ├── PAPLJ-Colorer.esv │ │ ├── PAPLJ-Completions.esv │ │ ├── PAPLJ-Folding.esv │ │ ├── PAPLJ-Menus.esv │ │ ├── PAPLJ-Outliner.str │ │ ├── PAPLJ-Refactorings.esv │ │ ├── PAPLJ-References.esv │ │ ├── PAPLJ-Syntax.esv │ │ ├── PAPLJ-Views.esv │ │ ├── PAPLJ.main.esv │ │ └── java │ │ │ └── paplj │ │ │ ├── analysis │ │ │ ├── Activator.java │ │ │ ├── PAPLJParseController.java │ │ │ ├── PAPLJParseControllerGenerated.java │ │ │ ├── PAPLJValidator.java │ │ │ └── strategies │ │ │ │ ├── InteropRegisterer.java │ │ │ │ ├── Main.java │ │ │ │ └── java_strategy_0_0.java │ │ │ └── semantics │ │ │ ├── Activator.java │ │ │ ├── PAPLJParseController.java │ │ │ ├── PAPLJParseControllerGenerated.java │ │ │ └── PAPLJValidator.java │ ├── include │ │ └── PAPLJ.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── PAPLJ.sdf3 │ │ └── Programs.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ ├── conditional.generated.str │ │ ├── names.nab │ │ ├── sub.ts │ │ ├── types-manual.str │ │ └── types.ts │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar-types.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── generate │ │ └── generate.str │ │ ├── paplj.str │ │ └── pretty-print │ │ └── pp.str │ ├── paplj.full │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── PAPLJ build.main.xml.launch │ │ └── PAPLJ clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── .settings │ │ └── org.eclipse.core.resources.prefs │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Run.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ ├── PAPLJ-Colorer.esv │ │ ├── PAPLJ-Completions.esv │ │ ├── PAPLJ-Folding.esv │ │ ├── PAPLJ-Menus.esv │ │ ├── PAPLJ-Outliner.str │ │ ├── PAPLJ-Refactorings.esv │ │ ├── PAPLJ-References.esv │ │ ├── PAPLJ-Syntax.esv │ │ ├── PAPLJ-Views.esv │ │ ├── PAPLJ.main.esv │ │ └── java │ │ │ ├── ds │ │ │ ├── generated │ │ │ │ └── interpreter │ │ │ │ │ ├── A_Expr.java │ │ │ │ │ ├── A_Program.java │ │ │ │ │ ├── A_allocate__Arrow.java │ │ │ │ │ ├── A_bindVar__Arrow.java │ │ │ │ │ ├── A_bindVars__Arrow.java │ │ │ │ │ ├── A_defaultValue__Arrow.java │ │ │ │ │ ├── A_initClasses__Arrow.java │ │ │ │ │ ├── A_initFields__Arrow.java │ │ │ │ │ ├── A_initMethods__Arrow.java │ │ │ │ │ ├── A_initObject__Arrow.java │ │ │ │ │ ├── A_initSuper__Arrow.java │ │ │ │ │ ├── A_loadClass__Arrow.java │ │ │ │ │ ├── A_lookupField__Arrow.java │ │ │ │ │ ├── A_lookupMethod__Arrow.java │ │ │ │ │ ├── A_readField__Arrow.java │ │ │ │ │ ├── A_readVar__Arrow.java │ │ │ │ │ ├── A_read__Arrow.java │ │ │ │ │ ├── A_writeField__Arrow.java │ │ │ │ │ ├── A_write__Arrow.java │ │ │ │ │ ├── Add_2.java │ │ │ │ │ ├── And_2.java │ │ │ │ │ ├── AutoMapUtils.java │ │ │ │ │ ├── Bind_3.java │ │ │ │ │ ├── Call_3.java │ │ │ │ │ ├── Cast_2.java │ │ │ │ │ ├── ClassT_1.java │ │ │ │ │ ├── Class_4.java │ │ │ │ │ ├── Eq_2.java │ │ │ │ │ ├── Extends_1.java │ │ │ │ │ ├── False_0.java │ │ │ │ │ ├── Field_2.java │ │ │ │ │ ├── Generic_A_Bind.java │ │ │ │ │ ├── Generic_A_Block.java │ │ │ │ │ ├── Generic_A_Class.java │ │ │ │ │ ├── Generic_A_Expr.java │ │ │ │ │ ├── Generic_A_Extends.java │ │ │ │ │ ├── Generic_A_Field.java │ │ │ │ │ ├── Generic_A_FieldSet.java │ │ │ │ │ ├── Generic_A_Method.java │ │ │ │ │ ├── Generic_A_Obj.java │ │ │ │ │ ├── Generic_A_Param.java │ │ │ │ │ ├── Generic_A_Program.java │ │ │ │ │ ├── Generic_A_Seq.java │ │ │ │ │ ├── Generic_A_Super.java │ │ │ │ │ ├── Generic_A_This.java │ │ │ │ │ ├── Generic_A_Type.java │ │ │ │ │ ├── Generic_A_Unit.java │ │ │ │ │ ├── Generic_A_V.java │ │ │ │ │ ├── Generic_A_allocate__Arrow.java │ │ │ │ │ ├── Generic_A_bindVar__Arrow.java │ │ │ │ │ ├── Generic_A_bindVars__Arrow.java │ │ │ │ │ ├── Generic_A_defaultValue__Arrow.java │ │ │ │ │ ├── Generic_A_initClasses__Arrow.java │ │ │ │ │ ├── Generic_A_initFields__Arrow.java │ │ │ │ │ ├── Generic_A_initMethods__Arrow.java │ │ │ │ │ ├── Generic_A_initObject__Arrow.java │ │ │ │ │ ├── Generic_A_initSuper__Arrow.java │ │ │ │ │ ├── Generic_A_loadClass__Arrow.java │ │ │ │ │ ├── Generic_A_lookupField__Arrow.java │ │ │ │ │ ├── Generic_A_lookupMethod__Arrow.java │ │ │ │ │ ├── Generic_A_readField__Arrow.java │ │ │ │ │ ├── Generic_A_readVar__Arrow.java │ │ │ │ │ ├── Generic_A_read__Arrow.java │ │ │ │ │ ├── Generic_A_writeField__Arrow.java │ │ │ │ │ ├── Generic_A_write__Arrow.java │ │ │ │ │ ├── Get_3.java │ │ │ │ │ ├── If_3.java │ │ │ │ │ ├── L_A_Expr.java │ │ │ │ │ ├── L_A_Param.java │ │ │ │ │ ├── Let_2.java │ │ │ │ │ ├── Lt_2.java │ │ │ │ │ ├── Method_4.java │ │ │ │ │ ├── Min_1.java │ │ │ │ │ ├── Mul_2.java │ │ │ │ │ ├── Neq_2.java │ │ │ │ │ ├── New_1.java │ │ │ │ │ ├── Not_1.java │ │ │ │ │ ├── Null_1.java │ │ │ │ │ ├── NumV_1.java │ │ │ │ │ ├── Num_1.java │ │ │ │ │ ├── ObjV_4.java │ │ │ │ │ ├── Or_2.java │ │ │ │ │ ├── Param_2.java │ │ │ │ │ ├── Program_3.java │ │ │ │ │ ├── R_default_Class.java │ │ │ │ │ ├── R_default_Int.java │ │ │ │ │ ├── R_default_List_String_.java │ │ │ │ │ ├── R_default_List_V_.java │ │ │ │ │ ├── R_default_Map_String_Class_.java │ │ │ │ │ ├── R_default_Map_String_Int_.java │ │ │ │ │ ├── R_default_Map_String_Method_.java │ │ │ │ │ ├── R_default_Map_String_V_.java │ │ │ │ │ ├── R_default_Method.java │ │ │ │ │ ├── R_default_Obj.java │ │ │ │ │ ├── R_default_Super.java │ │ │ │ │ ├── R_default_V.java │ │ │ │ │ ├── R_init_V.java │ │ │ │ │ ├── Set_4.java │ │ │ │ │ ├── Sub_2.java │ │ │ │ │ ├── This_0.java │ │ │ │ │ ├── True_0.java │ │ │ │ │ ├── Var_1.java │ │ │ │ │ ├── allocate_1.java │ │ │ │ │ ├── bindVar_2.java │ │ │ │ │ ├── bindVars_2.java │ │ │ │ │ ├── block2expr_1.java │ │ │ │ │ ├── defaultValue_1.java │ │ │ │ │ ├── initClasses_1.java │ │ │ │ │ ├── initFields_1.java │ │ │ │ │ ├── initMethods_1.java │ │ │ │ │ ├── initObject_1.java │ │ │ │ │ ├── initSuper_1.java │ │ │ │ │ ├── loadClass_1.java │ │ │ │ │ ├── lookupField_3.java │ │ │ │ │ ├── lookupMethod_2.java │ │ │ │ │ ├── readField_3.java │ │ │ │ │ ├── readVar_1.java │ │ │ │ │ ├── read_1.java │ │ │ │ │ ├── writeField_4.java │ │ │ │ │ └── write_2.java │ │ │ └── manual │ │ │ │ └── interpreter │ │ │ │ └── Natives.java │ │ │ └── paplj │ │ │ └── full │ │ │ ├── Activator.java │ │ │ ├── PAPLJParseController.java │ │ │ ├── PAPLJParseControllerGenerated.java │ │ │ ├── PAPLJValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ ├── java_strategy_0_0.java │ │ │ └── runprogram_0_0.java │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── PAPLJ.sdf3 │ │ ├── Programs.sdf3 │ │ └── Values.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── run.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ ├── names.nab │ │ ├── types-manual.str │ │ └── types.ts │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar-types.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── generate │ │ └── generate.str │ │ ├── paplj.str │ │ ├── pretty-print │ │ └── pp.str │ │ └── semantics │ │ ├── interpret.ds │ │ ├── runtime │ │ ├── environment.ds │ │ ├── primitives.ds │ │ ├── runtime.ds │ │ ├── store.ds │ │ └── values.ds │ │ ├── semantics.ds │ │ ├── signatures │ │ ├── Classes-sig.ds │ │ ├── Common-sig.ds │ │ ├── Expressions-sig.ds │ │ ├── PAPLJ-sig.ds │ │ └── Programs-sig.ds │ │ └── values.ds │ ├── paplj.semantics │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── PAPLJ build.main.xml.launch │ │ └── PAPLJ clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Run.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ ├── PAPLJ-Colorer.esv │ │ ├── PAPLJ-Completions.esv │ │ ├── PAPLJ-Folding.esv │ │ ├── PAPLJ-Menus.esv │ │ ├── PAPLJ-Outliner.str │ │ ├── PAPLJ-Refactorings.esv │ │ ├── PAPLJ-References.esv │ │ ├── PAPLJ-Syntax.esv │ │ ├── PAPLJ-Views.esv │ │ ├── PAPLJ.main.esv │ │ └── java │ │ │ ├── ds │ │ │ ├── generated │ │ │ │ └── interpreter │ │ │ │ │ ├── A_Bind.java │ │ │ │ │ ├── A_Block.java │ │ │ │ │ ├── A_Class.java │ │ │ │ │ ├── A_Expr.java │ │ │ │ │ ├── A_Extends.java │ │ │ │ │ ├── A_Field.java │ │ │ │ │ ├── A_FieldSet.java │ │ │ │ │ ├── A_Method.java │ │ │ │ │ ├── A_Obj.java │ │ │ │ │ ├── A_Param.java │ │ │ │ │ ├── A_Program.java │ │ │ │ │ ├── A_Seq.java │ │ │ │ │ ├── A_Super.java │ │ │ │ │ ├── A_This.java │ │ │ │ │ ├── A_Type.java │ │ │ │ │ ├── A_Unit.java │ │ │ │ │ ├── A_V.java │ │ │ │ │ ├── A_allocate__Arrow.java │ │ │ │ │ ├── A_bindVar__Arrow.java │ │ │ │ │ ├── A_bindVars__Arrow.java │ │ │ │ │ ├── A_defaultValue__Arrow.java │ │ │ │ │ ├── A_initClasses__Arrow.java │ │ │ │ │ ├── A_initFields__Arrow.java │ │ │ │ │ ├── A_initMethods__Arrow.java │ │ │ │ │ ├── A_initObject__Arrow.java │ │ │ │ │ ├── A_initSuper__Arrow.java │ │ │ │ │ ├── A_loadClass__Arrow.java │ │ │ │ │ ├── A_lookupField__Arrow.java │ │ │ │ │ ├── A_lookupMethod__Arrow.java │ │ │ │ │ ├── A_readField__Arrow.java │ │ │ │ │ ├── A_readVar__Arrow.java │ │ │ │ │ ├── A_read__Arrow.java │ │ │ │ │ ├── A_writeField__Arrow.java │ │ │ │ │ ├── A_write__Arrow.java │ │ │ │ │ ├── Add_2.java │ │ │ │ │ ├── And_2.java │ │ │ │ │ ├── AutoMapUtils.java │ │ │ │ │ ├── Bind_3.java │ │ │ │ │ ├── BoolT_0.java │ │ │ │ │ ├── BoolV_1.java │ │ │ │ │ ├── Call_3.java │ │ │ │ │ ├── Cast_2.java │ │ │ │ │ ├── ClassT_1.java │ │ │ │ │ ├── Class_4.java │ │ │ │ │ ├── Do_1.java │ │ │ │ │ ├── Eq_2.java │ │ │ │ │ ├── ExceptionV_0.java │ │ │ │ │ ├── Extends_1.java │ │ │ │ │ ├── False_0.java │ │ │ │ │ ├── Field_2.java │ │ │ │ │ ├── Generic_A_Bind.java │ │ │ │ │ ├── Generic_A_Block.java │ │ │ │ │ ├── Generic_A_Class.java │ │ │ │ │ ├── Generic_A_Expr.java │ │ │ │ │ ├── Generic_A_Extends.java │ │ │ │ │ ├── Generic_A_Field.java │ │ │ │ │ ├── Generic_A_FieldSet.java │ │ │ │ │ ├── Generic_A_Method.java │ │ │ │ │ ├── Generic_A_Obj.java │ │ │ │ │ ├── Generic_A_Param.java │ │ │ │ │ ├── Generic_A_Program.java │ │ │ │ │ ├── Generic_A_Seq.java │ │ │ │ │ ├── Generic_A_Super.java │ │ │ │ │ ├── Generic_A_This.java │ │ │ │ │ ├── Generic_A_Type.java │ │ │ │ │ ├── Generic_A_Unit.java │ │ │ │ │ ├── Generic_A_V.java │ │ │ │ │ ├── Generic_A_allocate__Arrow.java │ │ │ │ │ ├── Generic_A_bindVar__Arrow.java │ │ │ │ │ ├── Generic_A_bindVars__Arrow.java │ │ │ │ │ ├── Generic_A_defaultValue__Arrow.java │ │ │ │ │ ├── Generic_A_initClasses__Arrow.java │ │ │ │ │ ├── Generic_A_initFields__Arrow.java │ │ │ │ │ ├── Generic_A_initMethods__Arrow.java │ │ │ │ │ ├── Generic_A_initObject__Arrow.java │ │ │ │ │ ├── Generic_A_initSuper__Arrow.java │ │ │ │ │ ├── Generic_A_loadClass__Arrow.java │ │ │ │ │ ├── Generic_A_lookupField__Arrow.java │ │ │ │ │ ├── Generic_A_lookupMethod__Arrow.java │ │ │ │ │ ├── Generic_A_readField__Arrow.java │ │ │ │ │ ├── Generic_A_readVar__Arrow.java │ │ │ │ │ ├── Generic_A_read__Arrow.java │ │ │ │ │ ├── Generic_A_writeField__Arrow.java │ │ │ │ │ ├── Generic_A_write__Arrow.java │ │ │ │ │ ├── Get_3.java │ │ │ │ │ ├── If_3.java │ │ │ │ │ ├── L_A_Bind.java │ │ │ │ │ ├── L_A_Class.java │ │ │ │ │ ├── L_A_Expr.java │ │ │ │ │ ├── L_A_Field.java │ │ │ │ │ ├── L_A_Method.java │ │ │ │ │ ├── L_A_Param.java │ │ │ │ │ ├── L_A_Seq.java │ │ │ │ │ ├── L_A_V.java │ │ │ │ │ ├── Let_2.java │ │ │ │ │ ├── Lt_2.java │ │ │ │ │ ├── Method_4.java │ │ │ │ │ ├── Min_1.java │ │ │ │ │ ├── Mul_2.java │ │ │ │ │ ├── Neq_2.java │ │ │ │ │ ├── New_1.java │ │ │ │ │ ├── NoExtends_0.java │ │ │ │ │ ├── NoSuper_0.java │ │ │ │ │ ├── Not_1.java │ │ │ │ │ ├── NullV_0.java │ │ │ │ │ ├── Null_1.java │ │ │ │ │ ├── NumT_0.java │ │ │ │ │ ├── NumV_1.java │ │ │ │ │ ├── Num_1.java │ │ │ │ │ ├── ObjV_4.java │ │ │ │ │ ├── Or_2.java │ │ │ │ │ ├── Param_2.java │ │ │ │ │ ├── Program_3.java │ │ │ │ │ ├── R_default_C.java │ │ │ │ │ ├── R_default_Class.java │ │ │ │ │ ├── R_default_Env.java │ │ │ │ │ ├── R_default_FM.java │ │ │ │ │ ├── R_default_Int.java │ │ │ │ │ ├── R_default_List_String_.java │ │ │ │ │ ├── R_default_List_V_.java │ │ │ │ │ ├── R_default_MM.java │ │ │ │ │ ├── R_default_Method.java │ │ │ │ │ ├── R_default_Obj.java │ │ │ │ │ ├── R_default_Super.java │ │ │ │ │ ├── R_default_V.java │ │ │ │ │ ├── Set_4.java │ │ │ │ │ ├── Skip_0.java │ │ │ │ │ ├── Sub_2.java │ │ │ │ │ ├── Super_1.java │ │ │ │ │ ├── T_1.java │ │ │ │ │ ├── This_0.java │ │ │ │ │ ├── True_0.java │ │ │ │ │ ├── U_0.java │ │ │ │ │ ├── UnitT_0.java │ │ │ │ │ ├── Var_1.java │ │ │ │ │ ├── allocate_1.java │ │ │ │ │ ├── bindVar_2.java │ │ │ │ │ ├── bindVars_2.java │ │ │ │ │ ├── block2expr_1.java │ │ │ │ │ ├── defaultValue_1.java │ │ │ │ │ ├── expr2seq_1.java │ │ │ │ │ ├── initClasses_1.java │ │ │ │ │ ├── initFields_1.java │ │ │ │ │ ├── initMethods_1.java │ │ │ │ │ ├── initObject_1.java │ │ │ │ │ ├── initSuper_1.java │ │ │ │ │ ├── loadClass_1.java │ │ │ │ │ ├── lookupField_3.java │ │ │ │ │ ├── lookupMethod_2.java │ │ │ │ │ ├── o2v_1.java │ │ │ │ │ ├── readField_3.java │ │ │ │ │ ├── readVar_1.java │ │ │ │ │ ├── read_1.java │ │ │ │ │ ├── u2v_1.java │ │ │ │ │ ├── writeField_4.java │ │ │ │ │ └── write_2.java │ │ │ └── manual │ │ │ │ └── interpreter │ │ │ │ └── Natives.java │ │ │ └── paplj │ │ │ └── semantics │ │ │ ├── Activator.java │ │ │ ├── PAPLJParseController.java │ │ │ ├── PAPLJParseControllerGenerated.java │ │ │ ├── PAPLJValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ ├── java_strategy_0_0.java │ │ │ └── runprogram_0_0.java │ ├── include │ │ └── PAPLJ.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── PAPLJ.sdf3 │ │ ├── Programs.sdf3 │ │ └── Values.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ ├── run.str │ │ ├── syntax.str │ │ └── transformation.str │ │ ├── check │ │ ├── check.str │ │ ├── names.nab │ │ ├── types-manual.str │ │ └── types.ts │ │ ├── desugar │ │ ├── desugar-rules.str │ │ ├── desugar-types.str │ │ ├── desugar.str │ │ └── resugar-rules.str │ │ ├── generate │ │ └── generate.str │ │ ├── paplj.str │ │ ├── pretty-print │ │ └── pp.str │ │ └── semantics │ │ ├── interpret.ds │ │ ├── runtime │ │ ├── environment.ds │ │ ├── primitives.ds │ │ ├── runtime.ds │ │ ├── store.ds │ │ └── values.ds │ │ ├── semantics.ds │ │ ├── signatures │ │ ├── Classes-sig.ds │ │ ├── Common-sig.ds │ │ ├── Expressions-sig.ds │ │ ├── PAPLJ-sig.ds │ │ └── Programs-sig.ds │ │ └── values.ds │ ├── paplj.syntax │ ├── .classpath │ ├── .externalToolBuilders │ │ ├── PAPLJ build.main.xml.launch │ │ └── PAPLJ clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ │ ├── Menu-Analysis.esv │ │ ├── Menu-Generation.esv │ │ ├── Menu-Run.esv │ │ ├── Menu-Syntax.esv │ │ ├── Menu-Transformation.esv │ │ ├── PAPLJ-Colorer.esv │ │ ├── PAPLJ-Completions.esv │ │ ├── PAPLJ-Folding.esv │ │ ├── PAPLJ-Menus.esv │ │ ├── PAPLJ-Outliner.str │ │ ├── PAPLJ-Refactorings.esv │ │ ├── PAPLJ-References.esv │ │ ├── PAPLJ-Syntax.esv │ │ ├── PAPLJ-Views.esv │ │ ├── PAPLJ.main.esv │ │ └── java │ │ │ └── paplj │ │ │ └── syntax │ │ │ ├── Activator.java │ │ │ ├── PAPLJParseController.java │ │ │ ├── PAPLJParseControllerGenerated.java │ │ │ ├── PAPLJValidator.java │ │ │ └── strategies │ │ │ ├── InteropRegisterer.java │ │ │ ├── Main.java │ │ │ └── java_strategy_0_0.java │ ├── include │ │ └── PAPLJ.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ │ ├── Classes.sdf3 │ │ ├── Common.sdf3 │ │ ├── Expressions.sdf3 │ │ ├── PAPLJ.sdf3 │ │ ├── Programs.sdf3 │ │ └── cheat │ │ │ ├── ExpressionsAmb.sdf3 │ │ │ └── ExpressionsPrec.sdf3 │ └── trans │ │ ├── builders │ │ ├── analysis.str │ │ ├── debugging.str │ │ ├── editor.str │ │ ├── main.str │ │ └── syntax.str │ │ ├── check │ │ └── check.str │ │ ├── generate │ │ └── generate.str │ │ ├── paplj.str │ │ └── pretty-print │ │ └── pp.str │ └── paplj.transformation │ ├── .classpath │ ├── .externalToolBuilders │ ├── PAPLJ build.main.xml.launch │ └── PAPLJ clean-project.xml.launch │ ├── .gitignore │ ├── .project │ ├── META-INF │ └── MANIFEST.MF │ ├── build.generated.xml │ ├── build.main.xml │ ├── build.properties │ ├── editor │ ├── Menu-Analysis.esv │ ├── Menu-Generation.esv │ ├── Menu-Run.esv │ ├── Menu-Syntax.esv │ ├── Menu-Transformation.esv │ ├── PAPLJ-Colorer.esv │ ├── PAPLJ-Completions.esv │ ├── PAPLJ-Folding.esv │ ├── PAPLJ-Menus.esv │ ├── PAPLJ-Outliner.str │ ├── PAPLJ-Refactorings.esv │ ├── PAPLJ-References.esv │ ├── PAPLJ-Syntax.esv │ ├── PAPLJ-Views.esv │ ├── PAPLJ.main.esv │ └── java │ │ └── paplj │ │ ├── semantics │ │ ├── Activator.java │ │ ├── PAPLJParseController.java │ │ ├── PAPLJParseControllerGenerated.java │ │ └── PAPLJValidator.java │ │ └── transformation │ │ ├── Activator.java │ │ ├── PAPLJParseController.java │ │ ├── PAPLJParseControllerGenerated.java │ │ ├── PAPLJValidator.java │ │ └── strategies │ │ ├── InteropRegisterer.java │ │ ├── Main.java │ │ └── java_strategy_0_0.java │ ├── include │ └── PAPLJ.generated.pp │ ├── plugin.xml │ ├── pom.xml │ ├── syntax │ ├── Classes.sdf3 │ ├── Common.sdf3 │ ├── Expressions.sdf3 │ ├── PAPLJ.sdf3 │ └── Programs.sdf3 │ └── trans │ ├── builders │ ├── analysis.str │ ├── debugging.str │ ├── editor.str │ ├── main.str │ ├── syntax.str │ └── transformation.str │ ├── check │ └── check.str │ ├── desugar │ ├── desugar-rules.str │ ├── desugar.str │ └── resugar-rules.str │ ├── generate │ └── generate.str │ ├── paplj.str │ └── pretty-print │ └── pp.str ├── presentations └── 2015-07-13-dsldiss │ ├── 2015-06-Digiteo │ ├── Digiteo.key │ ├── Digiteo.pdf │ ├── Duplicate Def.graffle │ ├── DuplicateDefImport.graffle │ ├── Future.graffle │ ├── Imports Shadowing.graffle │ ├── Imports.graffle │ ├── Ireflexive Let.graffle │ ├── Lexical Scoping.graffle │ ├── Name resolution.graffle │ ├── NestedModules.graffle │ ├── Programs.graffle │ ├── Qualref.graffle │ ├── README │ ├── Shadowing.graffle │ ├── Simple Scope Graph.graffle │ ├── Transitive.graffle │ ├── WG2.16.pdf │ ├── alg │ │ ├── Makefile │ │ ├── bibliography-compact.bib │ │ ├── bibliography.bib │ │ ├── boxedminipage.sty │ │ ├── commands │ │ │ ├── eclipse-colors.tex │ │ │ ├── eval.tex │ │ │ ├── grammars.tex │ │ │ ├── labels.tex │ │ │ ├── languages │ │ │ │ ├── DynSem.tex │ │ │ │ ├── Java.tex │ │ │ │ ├── NaBL.tex │ │ │ │ ├── PCFM.tex │ │ │ │ ├── SDF.tex │ │ │ │ ├── Stratego.tex │ │ │ │ ├── TS.tex │ │ │ │ ├── aterm.tex │ │ │ │ └── coq.tex │ │ │ ├── listings.tex │ │ │ ├── main.tex │ │ │ ├── notations.tex │ │ │ ├── notes.tex │ │ │ ├── resolution-calculus.tex │ │ │ ├── semantics.tex │ │ │ └── styles.tex │ │ ├── copyright-form.pdf │ │ ├── docs │ │ │ ├── 2014-10-17-21-00.pdf │ │ │ ├── 2014-10-17-23-30.pdf │ │ │ ├── 2014-10-18-12-55.pdf │ │ │ ├── 2015-01-16-17-04.pdf │ │ │ ├── 2015-01-16-18-32.pdf │ │ │ └── 2015-01-31-15-44-final-perso.pdf │ │ ├── document.brf │ │ ├── document.tex │ │ ├── esopresponse.md │ │ ├── esopresponse.rtf │ │ ├── esopresponse.txt │ │ ├── figures │ │ │ ├── fullcalculus.tex │ │ │ ├── lm-to-scope-graph.tex │ │ │ ├── old-lm-to-scope-graph.tex │ │ │ ├── popl-calculus.tex │ │ │ ├── resalg-bottomup.tex │ │ │ ├── resalg.tex │ │ │ ├── resalg0.tex │ │ │ ├── resalg1.tex │ │ │ ├── scope-graphs │ │ │ │ ├── apt_pcfm.tex │ │ │ │ ├── csharp │ │ │ │ │ ├── csharp.graffle │ │ │ │ │ └── partial.pdf │ │ │ │ ├── example │ │ │ │ │ └── example.tex │ │ │ │ ├── global │ │ │ │ │ ├── binding-b.pdf │ │ │ │ │ ├── binding.pdf │ │ │ │ │ ├── example.pdf │ │ │ │ │ ├── global.graffle │ │ │ │ │ ├── referring-a.pdf │ │ │ │ │ ├── referring-b.pdf │ │ │ │ │ ├── referring-c.pdf │ │ │ │ │ ├── referring.pdf │ │ │ │ │ └── scopes.pdf │ │ │ │ ├── imports │ │ │ │ │ ├── B1.pdf │ │ │ │ │ ├── B2.pdf │ │ │ │ │ ├── C1.pdf │ │ │ │ │ ├── C2.pdf │ │ │ │ │ ├── import-b.pdf │ │ │ │ │ ├── imports.graffle │ │ │ │ │ ├── imports.pdf │ │ │ │ │ ├── include.pdf │ │ │ │ │ ├── s2.pdf │ │ │ │ │ ├── s3.pdf │ │ │ │ │ ├── s4.pdf │ │ │ │ │ ├── vb1.pdf │ │ │ │ │ ├── vb2.pdf │ │ │ │ │ └── vb3.pdf │ │ │ │ ├── inheritance │ │ │ │ │ ├── inheritance.graffle │ │ │ │ │ ├── inheritance.pdf │ │ │ │ │ └── transitive.pdf │ │ │ │ ├── java │ │ │ │ │ ├── imports.pdf │ │ │ │ │ ├── imports2.pdf │ │ │ │ │ ├── java.graffle │ │ │ │ │ ├── simple_imports.pdf │ │ │ │ │ ├── simple_units.pdf │ │ │ │ │ ├── units.pdf │ │ │ │ │ └── units2.pdf │ │ │ │ ├── legend │ │ │ │ │ ├── conflict-4.pdf │ │ │ │ │ ├── conflict1.pdf │ │ │ │ │ ├── conflict2.pdf │ │ │ │ │ ├── conflict3.pdf │ │ │ │ │ ├── definition.pdf │ │ │ │ │ ├── edge2.pdf │ │ │ │ │ ├── identifier.pdf │ │ │ │ │ ├── import-induct.pdf │ │ │ │ │ ├── import-resolution.pdf │ │ │ │ │ ├── import.pdf │ │ │ │ │ ├── legend.graffle │ │ │ │ │ ├── lexical-conflict.pdf │ │ │ │ │ ├── lexical-induct.pdf │ │ │ │ │ ├── lexical-path.pdf │ │ │ │ │ ├── lexical-resolution.pdf │ │ │ │ │ ├── lexical.pdf │ │ │ │ │ ├── local-conflict.pdf │ │ │ │ │ ├── local-resolution.pdf │ │ │ │ │ ├── named.pdf │ │ │ │ │ ├── nested-induct.pdf │ │ │ │ │ ├── nested.pdf │ │ │ │ │ ├── parent.pdf │ │ │ │ │ ├── qualified-resolution.pdf │ │ │ │ │ ├── qualified.pdf │ │ │ │ │ ├── qualifier-resolution.pdf │ │ │ │ │ ├── qualifier.pdf │ │ │ │ │ ├── reference.pdf │ │ │ │ │ ├── scope.pdf │ │ │ │ │ ├── shadowed.pdf │ │ │ │ │ └── shadowing.pdf │ │ │ │ ├── lets │ │ │ │ │ ├── all.pdf │ │ │ │ │ ├── body-scope.pdf │ │ │ │ │ ├── c1.pdf │ │ │ │ │ ├── c2.pdf │ │ │ │ │ ├── c3.pdf │ │ │ │ │ ├── global-bind.pdf │ │ │ │ │ ├── lets.graffle │ │ │ │ │ ├── par-bind-refer.pdf │ │ │ │ │ ├── par-bind.pdf │ │ │ │ │ ├── par.pdf │ │ │ │ │ ├── rec-bind-refer.pdf │ │ │ │ │ ├── rec.pdf │ │ │ │ │ ├── referring.pdf │ │ │ │ │ ├── scopes.pdf │ │ │ │ │ └── seq.pdf │ │ │ │ ├── lexical │ │ │ │ │ ├── binding-f0.pdf │ │ │ │ │ ├── binding-f1.pdf │ │ │ │ │ ├── binding-n0.pdf │ │ │ │ │ ├── binding-n2.pdf │ │ │ │ │ ├── example.pdf │ │ │ │ │ ├── fix-scope.pdf │ │ │ │ │ ├── fun-scope.pdf │ │ │ │ │ ├── global-scope.pdf │ │ │ │ │ ├── lexical.graffle │ │ │ │ │ ├── nested.pdf │ │ │ │ │ ├── referring-f0.pdf │ │ │ │ │ ├── referring-f2.pdf │ │ │ │ │ ├── referring-n2.pdf │ │ │ │ │ └── scopes.pdf │ │ │ │ ├── pcfm.tex │ │ │ │ ├── qualified │ │ │ │ │ ├── b1.pdf │ │ │ │ │ ├── b2.pdf │ │ │ │ │ ├── b3.pdf │ │ │ │ │ ├── closing.pdf │ │ │ │ │ ├── example.pdf │ │ │ │ │ ├── example2.pdf │ │ │ │ │ ├── example3.pdf │ │ │ │ │ ├── finish.pdf │ │ │ │ │ ├── opening.pdf │ │ │ │ │ ├── qualified.graffle │ │ │ │ │ ├── qualified.pdf │ │ │ │ │ ├── resolution.pdf │ │ │ │ │ └── resolution2.pdf │ │ │ │ └── subsequent │ │ │ │ │ ├── subsequent.graffle │ │ │ │ │ └── vars.pdf │ │ │ └── seencalculus.tex │ │ ├── final │ │ │ ├── esop-arch.zip │ │ │ └── esop-arch │ │ │ │ ├── Makefile │ │ │ │ ├── bibliography.bib │ │ │ │ ├── boxedminipage.sty │ │ │ │ ├── commands │ │ │ │ ├── eclipse-colors.tex │ │ │ │ ├── eval.tex │ │ │ │ ├── grammars.tex │ │ │ │ ├── labels.tex │ │ │ │ ├── languages │ │ │ │ │ ├── DynSem.tex │ │ │ │ │ ├── Java.tex │ │ │ │ │ ├── NaBL.tex │ │ │ │ │ ├── PCFM.tex │ │ │ │ │ ├── SDF.tex │ │ │ │ │ ├── Stratego.tex │ │ │ │ │ ├── TS.tex │ │ │ │ │ ├── aterm.tex │ │ │ │ │ └── coq.tex │ │ │ │ ├── listings.tex │ │ │ │ ├── main.tex │ │ │ │ ├── notations.tex │ │ │ │ ├── notes.tex │ │ │ │ ├── resolution-calculus.tex │ │ │ │ ├── semantics.tex │ │ │ │ ├── styles.tex │ │ │ │ └── texput.log │ │ │ │ ├── document.tex │ │ │ │ ├── figures │ │ │ │ ├── #lm-to-scope-graph.tex# │ │ │ │ ├── automata.tex │ │ │ │ ├── calculus1.tex │ │ │ │ ├── edgecalculus.tex │ │ │ │ ├── fullcalculus.tex │ │ │ │ ├── lm-to-scope-graph.tex │ │ │ │ ├── popl-calculus.tex │ │ │ │ ├── resalg-bottomup.tex │ │ │ │ ├── resalg.tex │ │ │ │ ├── scope-graphs │ │ │ │ │ ├── csharp │ │ │ │ │ │ ├── csharp.graffle │ │ │ │ │ │ └── partial.pdf │ │ │ │ │ ├── example │ │ │ │ │ │ └── example.tex │ │ │ │ │ ├── global │ │ │ │ │ │ ├── binding-b.pdf │ │ │ │ │ │ ├── binding.pdf │ │ │ │ │ │ ├── example.pdf │ │ │ │ │ │ ├── global.graffle │ │ │ │ │ │ ├── referring-a.pdf │ │ │ │ │ │ ├── referring-b.pdf │ │ │ │ │ │ ├── referring-c.pdf │ │ │ │ │ │ ├── referring.pdf │ │ │ │ │ │ └── scopes.pdf │ │ │ │ │ ├── imports │ │ │ │ │ │ ├── B1.pdf │ │ │ │ │ │ ├── B2.pdf │ │ │ │ │ │ ├── C1.pdf │ │ │ │ │ │ ├── C2.pdf │ │ │ │ │ │ ├── import-b.pdf │ │ │ │ │ │ ├── imports.graffle │ │ │ │ │ │ ├── imports.pdf │ │ │ │ │ │ ├── include.pdf │ │ │ │ │ │ ├── s2.pdf │ │ │ │ │ │ ├── s3.pdf │ │ │ │ │ │ ├── s4.pdf │ │ │ │ │ │ ├── vb1.pdf │ │ │ │ │ │ ├── vb2.pdf │ │ │ │ │ │ └── vb3.pdf │ │ │ │ │ ├── inheritance │ │ │ │ │ │ ├── inheritance.graffle │ │ │ │ │ │ ├── inheritance.pdf │ │ │ │ │ │ └── transitive.pdf │ │ │ │ │ ├── java │ │ │ │ │ │ ├── imports.pdf │ │ │ │ │ │ ├── imports2.pdf │ │ │ │ │ │ ├── java.graffle │ │ │ │ │ │ ├── simple_imports.pdf │ │ │ │ │ │ ├── simple_units.pdf │ │ │ │ │ │ ├── units.pdf │ │ │ │ │ │ └── units2.pdf │ │ │ │ │ ├── legend │ │ │ │ │ │ ├── conflict-4.pdf │ │ │ │ │ │ ├── conflict1.pdf │ │ │ │ │ │ ├── conflict2.pdf │ │ │ │ │ │ ├── conflict3.pdf │ │ │ │ │ │ ├── definition.pdf │ │ │ │ │ │ ├── edge2.pdf │ │ │ │ │ │ ├── identifier.pdf │ │ │ │ │ │ ├── import-induct.pdf │ │ │ │ │ │ ├── import-resolution.pdf │ │ │ │ │ │ ├── import.pdf │ │ │ │ │ │ ├── legend.graffle │ │ │ │ │ │ ├── lexical-conflict.pdf │ │ │ │ │ │ ├── lexical-induct.pdf │ │ │ │ │ │ ├── lexical-path.pdf │ │ │ │ │ │ ├── lexical-resolution.pdf │ │ │ │ │ │ ├── lexical.pdf │ │ │ │ │ │ ├── local-conflict.pdf │ │ │ │ │ │ ├── local-resolution.pdf │ │ │ │ │ │ ├── named.pdf │ │ │ │ │ │ ├── nested-induct.pdf │ │ │ │ │ │ ├── nested.pdf │ │ │ │ │ │ ├── parent.pdf │ │ │ │ │ │ ├── qualified-resolution.pdf │ │ │ │ │ │ ├── qualified.pdf │ │ │ │ │ │ ├── qualifier-resolution.pdf │ │ │ │ │ │ ├── qualifier.pdf │ │ │ │ │ │ ├── reference.pdf │ │ │ │ │ │ ├── scope.pdf │ │ │ │ │ │ ├── shadowed.pdf │ │ │ │ │ │ └── shadowing.pdf │ │ │ │ │ ├── lets │ │ │ │ │ │ ├── all.pdf │ │ │ │ │ │ ├── body-scope.pdf │ │ │ │ │ │ ├── c1.pdf │ │ │ │ │ │ ├── c2.pdf │ │ │ │ │ │ ├── c3.pdf │ │ │ │ │ │ ├── global-bind.pdf │ │ │ │ │ │ ├── lets.graffle │ │ │ │ │ │ ├── par-bind-refer.pdf │ │ │ │ │ │ ├── par-bind.pdf │ │ │ │ │ │ ├── par.pdf │ │ │ │ │ │ ├── rec-bind-refer.pdf │ │ │ │ │ │ ├── rec.pdf │ │ │ │ │ │ ├── referring.pdf │ │ │ │ │ │ ├── scopes.pdf │ │ │ │ │ │ └── seq.pdf │ │ │ │ │ ├── lexical │ │ │ │ │ │ ├── binding-f0.pdf │ │ │ │ │ │ ├── binding-f1.pdf │ │ │ │ │ │ ├── binding-n0.pdf │ │ │ │ │ │ ├── binding-n2.pdf │ │ │ │ │ │ ├── example.pdf │ │ │ │ │ │ ├── fix-scope.pdf │ │ │ │ │ │ ├── fun-scope.pdf │ │ │ │ │ │ ├── global-scope.pdf │ │ │ │ │ │ ├── lexical.graffle │ │ │ │ │ │ ├── nested.pdf │ │ │ │ │ │ ├── referring-f0.pdf │ │ │ │ │ │ ├── referring-f2.pdf │ │ │ │ │ │ ├── referring-n2.pdf │ │ │ │ │ │ └── scopes.pdf │ │ │ │ │ ├── pcfm.tex │ │ │ │ │ ├── qualified │ │ │ │ │ │ ├── b1.pdf │ │ │ │ │ │ ├── b2.pdf │ │ │ │ │ │ ├── b3.pdf │ │ │ │ │ │ ├── closing.pdf │ │ │ │ │ │ ├── example.pdf │ │ │ │ │ │ ├── example2.pdf │ │ │ │ │ │ ├── example3.pdf │ │ │ │ │ │ ├── finish.pdf │ │ │ │ │ │ ├── opening.pdf │ │ │ │ │ │ ├── qualified.graffle │ │ │ │ │ │ ├── qualified.pdf │ │ │ │ │ │ ├── resolution.pdf │ │ │ │ │ │ └── resolution2.pdf │ │ │ │ │ └── subsequent │ │ │ │ │ │ ├── subsequent.graffle │ │ │ │ │ │ └── vars.pdf │ │ │ │ ├── seencalculus.tex │ │ │ │ └── texput.log │ │ │ │ ├── llncs.cls │ │ │ │ ├── localbib.bib │ │ │ │ ├── mathpartir.sty │ │ │ │ └── tex │ │ │ │ ├── 00-abstract.tex │ │ │ │ ├── 01-introduction.tex │ │ │ │ ├── 02-resolution-paths.tex │ │ │ │ ├── 03-coverage.tex │ │ │ │ ├── 03a-coverage.tex │ │ │ │ ├── 04-extensions.tex │ │ │ │ ├── 05-resolution-algorithm.tex │ │ │ │ ├── 06-applications.tex │ │ │ │ ├── 07-related-work.tex │ │ │ │ ├── 08-conclusion.tex │ │ │ │ ├── 09-construction.tex │ │ │ │ ├── 2-objectives.tex │ │ │ │ ├── 3-scope-graphs.tex │ │ │ │ ├── 5-theory-of-visibility.tex │ │ │ │ ├── 6-resolution-automata.tex │ │ │ │ ├── 9-evaluation.tex │ │ │ │ ├── ack.tex │ │ │ │ ├── glossary.tex │ │ │ │ ├── lmtoscopgraph.tex │ │ │ │ ├── more-coverage.tex │ │ │ │ ├── proofrefac.tex │ │ │ │ ├── proofs.tex │ │ │ │ └── texput.log │ │ ├── llncs.cls │ │ ├── localbib.bib │ │ ├── mathpartir.sty │ │ ├── response.md │ │ ├── splncs03.bst │ │ ├── talk │ │ │ ├── Duplicate Def.graffle │ │ │ ├── DuplicateDefImport.graffle │ │ │ ├── Future.graffle │ │ │ ├── Imports Shadowing.graffle │ │ │ ├── Imports.graffle │ │ │ ├── Ireflexive Let.graffle │ │ │ ├── Lexical Scoping.graffle │ │ │ ├── Name resolution.graffle │ │ │ ├── NestedModules.graffle │ │ │ ├── Programs.graffle │ │ │ ├── Qualref.graffle │ │ │ ├── Rescalc │ │ │ │ ├── alphaeq.tex │ │ │ │ ├── commands │ │ │ │ │ ├── eclipse-colors.tex │ │ │ │ │ ├── eval.tex │ │ │ │ │ ├── grammars.tex │ │ │ │ │ ├── labels.tex │ │ │ │ │ ├── languages │ │ │ │ │ │ ├── DynSem.tex │ │ │ │ │ │ ├── Java.tex │ │ │ │ │ │ ├── NaBL.tex │ │ │ │ │ │ ├── PCFM.log │ │ │ │ │ │ ├── PCFM.tex │ │ │ │ │ │ ├── SDF.tex │ │ │ │ │ │ ├── Stratego.tex │ │ │ │ │ │ ├── TS.tex │ │ │ │ │ │ ├── aterm.tex │ │ │ │ │ │ └── coq.tex │ │ │ │ │ ├── listings.tex │ │ │ │ │ ├── main.tex │ │ │ │ │ ├── notations.tex │ │ │ │ │ ├── notes.tex │ │ │ │ │ ├── resolution-calculus.tex │ │ │ │ │ ├── semantics.tex │ │ │ │ │ ├── styles.tex │ │ │ │ │ └── texput.log │ │ │ │ ├── eqrelation.tex │ │ │ │ ├── fullcalculus.tex │ │ │ │ ├── mathpartir.sty │ │ │ │ ├── paramcalculus.tex │ │ │ │ ├── reoslutionalgo.tex │ │ │ │ ├── reoslutionalgothm.tex │ │ │ │ ├── resolution-calculus.tex │ │ │ │ ├── semantics.tex │ │ │ │ ├── semrule.tex │ │ │ │ ├── syntax.tex │ │ │ │ └── typingrule.tex │ │ │ ├── Shadowing.graffle │ │ │ ├── Simple Scope Graph.graffle │ │ │ ├── Talk Esop K09.key │ │ │ ├── Talk Esop.key │ │ │ ├── Talk Esop.pdf │ │ │ ├── Transitive.graffle │ │ │ └── symbol_table.jpg │ │ ├── techreport │ │ │ ├── ChangeLog │ │ │ ├── Makefile.report │ │ │ ├── TUD-SERG-2015-001.pdf │ │ │ ├── TUD-SERG-2015-001.tex │ │ │ ├── doc.bib │ │ │ ├── docs │ │ │ │ └── 2015-01-30-15-33.pdf │ │ │ ├── maak │ │ │ ├── se-report.sty │ │ │ ├── serg-logo.pdf │ │ │ ├── serg-logo.ps │ │ │ ├── tudelft_logo_bw.pdf │ │ │ └── tudelft_logo_bw.ps │ │ └── tex │ │ │ ├── #05-resolution-algorithm.tex# │ │ │ ├── 00-abstract.tex │ │ │ ├── 01-introduction.tex │ │ │ ├── 02-resolution-paths.tex │ │ │ ├── 03-coverage.tex │ │ │ ├── 03a-coverage.tex │ │ │ ├── 04-extensions.tex │ │ │ ├── 05-resolution-algorithm.tex │ │ │ ├── 06-applications.tex │ │ │ ├── 07-related-work.tex │ │ │ ├── 08-conclusion.tex │ │ │ ├── 09-construction.tex │ │ │ ├── ack.tex │ │ │ ├── glossary.tex │ │ │ ├── lmtoscopgraph.tex │ │ │ ├── more-coverage.tex │ │ │ └── proofs.tex │ ├── alpha-equiv.graffle │ ├── eelco_photo.jpg │ ├── guido_photo.jpg │ ├── import_vs_include.graffle │ ├── pierre-photo2.jpg │ ├── pierre_photo.jpg │ ├── traversal │ │ ├── Bar.class │ │ ├── Foo.class │ │ ├── Main.class │ │ ├── Makefile │ │ ├── NOTES │ │ ├── ack.tex │ │ ├── bibliography-compact.bib │ │ ├── bibliography.bib │ │ ├── commands │ │ │ ├── constraints.tex │ │ │ ├── eclipse-colors.tex │ │ │ ├── eval.tex │ │ │ ├── grammars.tex │ │ │ ├── labels.tex │ │ │ ├── languages │ │ │ │ ├── DynSem.tex │ │ │ │ ├── Java.tex │ │ │ │ ├── LMR.tex │ │ │ │ ├── NaBL.tex │ │ │ │ ├── PCFM.tex │ │ │ │ ├── SDF.tex │ │ │ │ ├── Stratego.tex │ │ │ │ ├── TS.tex │ │ │ │ ├── aterm.tex │ │ │ │ └── coq.tex │ │ │ ├── listings.tex │ │ │ ├── lmr-figure.tex │ │ │ ├── main.tex │ │ │ ├── notations.tex │ │ │ ├── notes.tex │ │ │ ├── resolution-calculus.tex │ │ │ ├── semantics.tex │ │ │ ├── styles.tex │ │ │ └── types.tex │ │ ├── doc1.pdf │ │ ├── document.tex │ │ ├── figures │ │ │ ├── check-and-inference.tex │ │ │ ├── checking.tex │ │ │ ├── collection.aux │ │ │ ├── collection.tex │ │ │ ├── collection2.tex │ │ │ ├── constraint-solver.tex │ │ │ ├── constraintsem.tex │ │ │ ├── constraintsyntax.tex │ │ │ ├── examples │ │ │ │ ├── 01-variable-reference.lmr │ │ │ │ ├── 02-scope.lmr │ │ │ │ ├── 03-imports.lmr │ │ │ │ ├── 04-with-small.lmr │ │ │ │ ├── 05-qualified.lmr │ │ │ │ ├── 06-fldaccess.lmr │ │ │ │ ├── generated │ │ │ │ │ ├── 01-variable-reference.analysis.decl.tex │ │ │ │ │ ├── 01-variable-reference.analysis.ref.tex │ │ │ │ │ ├── 01-variable-reference.analysis.solution.tex │ │ │ │ │ ├── 01-variable-reference.analysis.tex │ │ │ │ │ ├── 01-variable-reference.analysis.type.nontriv.tex │ │ │ │ │ ├── 01-variable-reference.analysis.type.tex │ │ │ │ │ ├── 01-variable-reference.gv │ │ │ │ │ ├── 01-variable-reference.pdf │ │ │ │ │ ├── 02-scope.analysis.decl.tex │ │ │ │ │ ├── 02-scope.analysis.ref.tex │ │ │ │ │ ├── 02-scope.analysis.solution.tex │ │ │ │ │ ├── 02-scope.analysis.tex │ │ │ │ │ ├── 02-scope.analysis.type.nontriv.tex │ │ │ │ │ ├── 02-scope.analysis.type.tex │ │ │ │ │ ├── 02-scope.gv │ │ │ │ │ ├── 02-scope.pdf │ │ │ │ │ ├── 03-imports.analysis.decl.tex │ │ │ │ │ ├── 03-imports.analysis.ref.tex │ │ │ │ │ ├── 03-imports.analysis.solution.tex │ │ │ │ │ ├── 03-imports.analysis.tex │ │ │ │ │ ├── 03-imports.analysis.type.nontriv.tex │ │ │ │ │ ├── 03-imports.analysis.type.tex │ │ │ │ │ ├── 03-imports.gv │ │ │ │ │ ├── 03-imports.pdf │ │ │ │ │ ├── 04-with-small.analysis.decl.tex │ │ │ │ │ ├── 04-with-small.analysis.ref.tex │ │ │ │ │ ├── 04-with-small.analysis.solution.tex │ │ │ │ │ ├── 04-with-small.analysis.tex │ │ │ │ │ ├── 04-with-small.analysis.type.nontriv.tex │ │ │ │ │ ├── 04-with-small.analysis.type.tex │ │ │ │ │ ├── 04-with-small.gv │ │ │ │ │ ├── 04-with-small.pdf │ │ │ │ │ ├── 05-qualified.analysis.decl.tex │ │ │ │ │ ├── 05-qualified.analysis.ref.tex │ │ │ │ │ ├── 05-qualified.analysis.solution.tex │ │ │ │ │ ├── 05-qualified.analysis.type.nontriv.tex │ │ │ │ │ ├── 05-qualified.analysis.type.tex │ │ │ │ │ ├── 05-qualified.gv │ │ │ │ │ ├── 05-qualified.pdf │ │ │ │ │ ├── 06-fldaccess.analysis.decl.tex │ │ │ │ │ ├── 06-fldaccess.analysis.ref.tex │ │ │ │ │ ├── 06-fldaccess.analysis.solution.tex │ │ │ │ │ ├── 06-fldaccess.analysis.tex │ │ │ │ │ ├── 06-fldaccess.analysis.type.nontriv.tex │ │ │ │ │ ├── 06-fldaccess.analysis.type.tex │ │ │ │ │ ├── 06-fldaccess.gv │ │ │ │ │ └── 06-fldaccess.pdf │ │ │ │ ├── manual │ │ │ │ │ ├── 01-variable-reference.pdf │ │ │ │ │ ├── 01-variable-reference.tex │ │ │ │ │ ├── 02-scope.pdf │ │ │ │ │ ├── 02-scope.tex │ │ │ │ │ ├── 03-imports.pdf │ │ │ │ │ ├── 03-imports.tex │ │ │ │ │ ├── 04-with.pdf │ │ │ │ │ ├── 04-with.tex │ │ │ │ │ ├── 05-qualified.pdf │ │ │ │ │ ├── 06-fldaccess.pdf │ │ │ │ │ └── 06-fldaccess.tex │ │ │ │ └── sgs.graffle │ │ │ ├── inference.tex │ │ │ ├── infgraph.pdf │ │ │ ├── lmr.tex │ │ │ ├── lmrgrammar.tex │ │ │ ├── nameresolutionalgo.tex │ │ │ ├── rescalc.tex │ │ │ ├── solver-functions-LMR.tex │ │ │ └── tdres.pdf │ │ ├── foo.java │ │ ├── localbib.bib │ │ ├── make │ │ ├── mathpartir.sty │ │ ├── response.txt │ │ ├── sigplanconf.cls │ │ ├── snapshots │ │ │ ├── 2015-03-20-13-00.pdf │ │ │ ├── 2015-03-25-1.pdf │ │ │ ├── 2015-03-25-2.pdf │ │ │ ├── 2015-03-25-3.pdf │ │ │ ├── 2015-03-25-4.pdf │ │ │ ├── 2015-03-25-5.pdf │ │ │ ├── 2015-03-25-6.pdf │ │ │ ├── 2015-03-25-7.pdf │ │ │ └── tdnr-submission.pdf │ │ ├── syl.pdf │ │ ├── tex │ │ │ ├── 00-abstract.tex │ │ │ ├── 01-intro.tex │ │ │ ├── 02-scopegraphstypes.tex │ │ │ ├── 03-ext-scope-graph.tex │ │ │ ├── 04-constraint-language.tex │ │ │ ├── 05-collection.tex │ │ │ ├── 06-resolution.tex │ │ │ ├── 07-verification.tex │ │ │ ├── 08-validation.tex │ │ │ ├── 09-related-work.tex │ │ │ ├── 10-conclusion.tex │ │ │ ├── ack.tex │ │ │ ├── appendixLUB.tex │ │ │ └── appendixproof.tex │ │ └── xx.txt │ ├── typing_figures.pdf │ └── well-formedness.graffle │ ├── DeclareYourLanguage.key │ ├── README.md │ ├── dynsem-wg216-athens.key │ ├── paplj-spoofax.zip │ └── summary.md └── scripts └── rename.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/README.md -------------------------------------------------------------------------------- /decl-your-lang/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/.project -------------------------------------------------------------------------------- /decl-your-lang/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/Makefile -------------------------------------------------------------------------------- /decl-your-lang/bibliography.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/bibliography.bib -------------------------------------------------------------------------------- /decl-your-lang/body.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/body.tex -------------------------------------------------------------------------------- /decl-your-lang/book.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/book.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/eclipse-colors.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/eclipse-colors.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/eval.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/eval.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/grammars.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/grammars.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/hyperref.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/hyperref.cfg -------------------------------------------------------------------------------- /decl-your-lang/commands/labels.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/labels.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/DynSem.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/DynSem.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/ESV.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/ESV.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/Java.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/Java.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/NaBL.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/NaBL.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/PCFM.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/PCFM.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/SDF.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/SDF.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/SPT.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/SPT.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/Stratego.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/Stratego.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/TS.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/TS.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/aterm.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/aterm.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/coq.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/coq.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/languages/paplj.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/languages/paplj.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/listings.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/listings.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/main.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/notations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/notations.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/notes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/notes.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/resolution-calculus.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/resolution-calculus.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/semantics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/semantics.tex -------------------------------------------------------------------------------- /decl-your-lang/commands/styles.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/commands/styles.tex -------------------------------------------------------------------------------- /decl-your-lang/extension/extension.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/extension/extension.tex -------------------------------------------------------------------------------- /decl-your-lang/frontmatter.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/frontmatter.tex -------------------------------------------------------------------------------- /decl-your-lang/names/names.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/names/names.tex -------------------------------------------------------------------------------- /decl-your-lang/preface/preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/preface/preface.tex -------------------------------------------------------------------------------- /decl-your-lang/releases/declare-your-language.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/releases/declare-your-language.pdf -------------------------------------------------------------------------------- /decl-your-lang/semantics/semantics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/semantics/semantics.tex -------------------------------------------------------------------------------- /decl-your-lang/syntax/class01-abstract-syntax.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/syntax/class01-abstract-syntax.pdf -------------------------------------------------------------------------------- /decl-your-lang/syntax/syntax-dev.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/syntax/syntax-dev.pdf -------------------------------------------------------------------------------- /decl-your-lang/syntax/syntax-dev.tiff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/syntax/syntax-dev.tiff -------------------------------------------------------------------------------- /decl-your-lang/syntax/syntax.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/syntax/syntax.tex -------------------------------------------------------------------------------- /decl-your-lang/tests/class-spt.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/tests/class-spt.pdf -------------------------------------------------------------------------------- /decl-your-lang/tests/class-spt.tiff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/tests/class-spt.tiff -------------------------------------------------------------------------------- /decl-your-lang/tests/expr-synta.spt.tiff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/tests/expr-synta.spt.tiff -------------------------------------------------------------------------------- /decl-your-lang/tests/expr-syntax-spt.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/tests/expr-syntax-spt.pdf -------------------------------------------------------------------------------- /decl-your-lang/tests/expr-syntax-spt.tiff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/tests/expr-syntax-spt.tiff -------------------------------------------------------------------------------- /decl-your-lang/tests/spoofax-test-runner.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/tests/spoofax-test-runner.pdf -------------------------------------------------------------------------------- /decl-your-lang/tests/spoofax-test-runner.tiff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/tests/spoofax-test-runner.tiff -------------------------------------------------------------------------------- /decl-your-lang/tests/tests.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/tests/tests.tex -------------------------------------------------------------------------------- /decl-your-lang/transformation/transformation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/decl-your-lang/transformation/transformation.tex -------------------------------------------------------------------------------- /languages/ExerciseA/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/.classpath -------------------------------------------------------------------------------- /languages/ExerciseA/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/.gitignore -------------------------------------------------------------------------------- /languages/ExerciseA/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/.project -------------------------------------------------------------------------------- /languages/ExerciseA/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/ExerciseA/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/build.generated.xml -------------------------------------------------------------------------------- /languages/ExerciseA/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/build.main.xml -------------------------------------------------------------------------------- /languages/ExerciseA/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/build.properties -------------------------------------------------------------------------------- /languages/ExerciseA/editor/ExerciseA-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/editor/ExerciseA-Colorer.esv -------------------------------------------------------------------------------- /languages/ExerciseA/editor/ExerciseA-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/editor/ExerciseA-Folding.esv -------------------------------------------------------------------------------- /languages/ExerciseA/editor/ExerciseA-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/editor/ExerciseA-Menus.esv -------------------------------------------------------------------------------- /languages/ExerciseA/editor/ExerciseA-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/editor/ExerciseA-Outliner.str -------------------------------------------------------------------------------- /languages/ExerciseA/editor/ExerciseA-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/editor/ExerciseA-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseA/editor/ExerciseA-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/editor/ExerciseA-Views.esv -------------------------------------------------------------------------------- /languages/ExerciseA/editor/ExerciseA.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/editor/ExerciseA.main.esv -------------------------------------------------------------------------------- /languages/ExerciseA/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseA/examples/class/class01.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/class/class01.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/class/class02.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/class/class02.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/class/class03.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/class/class03.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/class/class04.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/class/class04.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/class/class05.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/class/class05.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/class/class06.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/class/class06.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/class/class07.ea: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/ExerciseA/examples/class/class08.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/class/class08.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/expr/expr01.ea: -------------------------------------------------------------------------------- 1 | - (1 + - (2 * 3)) 2 | 3 | -------------------------------------------------------------------------------- /languages/ExerciseA/examples/expr/expr02.ea: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/ExerciseA/examples/expr/expr03.ea: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/ExerciseA/examples/expr/expr04.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/expr/expr04.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/expr/expr05.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/expr/expr05.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/expr/expr06.ea: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/counter.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/counter.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/fib.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/fib.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/if.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/if.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test01.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test01.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test02.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test02.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test03.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test03.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test04.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test04.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test05.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test05.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test06.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test06.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test07.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test07.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test08.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test08.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test09.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test09.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test10.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test10.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test11.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test11.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/language3/test12.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/language3/test12.ea -------------------------------------------------------------------------------- /languages/ExerciseA/examples/program/program01.ea: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/examples/program/program01.ea -------------------------------------------------------------------------------- /languages/ExerciseA/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/plugin.xml -------------------------------------------------------------------------------- /languages/ExerciseA/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/pom.xml -------------------------------------------------------------------------------- /languages/ExerciseA/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseA/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseA/syntax/ExerciseA.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/syntax/ExerciseA.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseA/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseA/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseA/tests/class.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/tests/class.spt -------------------------------------------------------------------------------- /languages/ExerciseA/tests/expr-arith-prec.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/tests/expr-arith-prec.spt -------------------------------------------------------------------------------- /languages/ExerciseA/tests/expr-arith.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/tests/expr-arith.spt -------------------------------------------------------------------------------- /languages/ExerciseA/tests/expr-bool.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/tests/expr-bool.spt -------------------------------------------------------------------------------- /languages/ExerciseA/tests/expr-syntax.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/tests/expr-syntax.spt -------------------------------------------------------------------------------- /languages/ExerciseA/tests/expr-syntax2.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/tests/expr-syntax2.spt -------------------------------------------------------------------------------- /languages/ExerciseA/tests/expr-var.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/tests/expr-var.spt -------------------------------------------------------------------------------- /languages/ExerciseA/tests/program.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/tests/program.spt -------------------------------------------------------------------------------- /languages/ExerciseA/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/trans/builders/main.str -------------------------------------------------------------------------------- /languages/ExerciseA/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/ExerciseA/trans/exercisea.str: -------------------------------------------------------------------------------- 1 | module langa 2 | 3 | imports builders/main 4 | -------------------------------------------------------------------------------- /languages/ExerciseA/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseA/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/ExerciseB/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/.classpath -------------------------------------------------------------------------------- /languages/ExerciseB/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/.gitignore -------------------------------------------------------------------------------- /languages/ExerciseB/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/.project -------------------------------------------------------------------------------- /languages/ExerciseB/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/ExerciseB/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/build.generated.xml -------------------------------------------------------------------------------- /languages/ExerciseB/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/build.main.xml -------------------------------------------------------------------------------- /languages/ExerciseB/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/build.properties -------------------------------------------------------------------------------- /languages/ExerciseB/editor/ExerciseB-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/editor/ExerciseB-Colorer.esv -------------------------------------------------------------------------------- /languages/ExerciseB/editor/ExerciseB-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/editor/ExerciseB-Folding.esv -------------------------------------------------------------------------------- /languages/ExerciseB/editor/ExerciseB-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/editor/ExerciseB-Menus.esv -------------------------------------------------------------------------------- /languages/ExerciseB/editor/ExerciseB-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/editor/ExerciseB-Outliner.str -------------------------------------------------------------------------------- /languages/ExerciseB/editor/ExerciseB-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/editor/ExerciseB-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseB/editor/ExerciseB-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/editor/ExerciseB-Views.esv -------------------------------------------------------------------------------- /languages/ExerciseB/editor/ExerciseB.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/editor/ExerciseB.main.esv -------------------------------------------------------------------------------- /languages/ExerciseB/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseB/examples/class/class01.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/class/class01.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/class/class02.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/class/class02.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/class/class03.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/class/class03.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/class/class03.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/class/class03.xml -------------------------------------------------------------------------------- /languages/ExerciseB/examples/class/class04.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/class/class04.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/class/class05.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/class/class05.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/class/class06.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/class/class06.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/class/class07.eb: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/ExerciseB/examples/expr/and-or.eb: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/ExerciseB/examples/expr/expr01.eb: -------------------------------------------------------------------------------- 1 | - (1 + - (2 * 3)) 2 | 3 | -------------------------------------------------------------------------------- /languages/ExerciseB/examples/expr/expr02.eb: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/ExerciseB/examples/expr/expr03.eb: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/ExerciseB/examples/expr/expr04.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/expr/expr04.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/expr/expr05.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/expr/expr05.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/expr/expr06.eb: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/ExerciseB/examples/expr/let-do.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/expr/let-do.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/counter.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/counter.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/fib.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/fib.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/if.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/if.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test01.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test01.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test02.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test02.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test03.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test03.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test04.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test04.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test05.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test05.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test06.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test06.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test07.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test07.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test08.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test08.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test09.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test09.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test10.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test10.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test11.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test11.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/language3/test12.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/language3/test12.eb -------------------------------------------------------------------------------- /languages/ExerciseB/examples/program/program01.eb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/examples/program/program01.eb -------------------------------------------------------------------------------- /languages/ExerciseB/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/plugin.xml -------------------------------------------------------------------------------- /languages/ExerciseB/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/pom.xml -------------------------------------------------------------------------------- /languages/ExerciseB/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseB/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseB/syntax/ExerciseB.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/syntax/ExerciseB.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseB/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseB/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseB/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/trans/builders/main.str -------------------------------------------------------------------------------- /languages/ExerciseB/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/ExerciseB/trans/desugar/desugar.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/trans/desugar/desugar.str -------------------------------------------------------------------------------- /languages/ExerciseB/trans/exerciseb.str: -------------------------------------------------------------------------------- 1 | module exerciseb 2 | 3 | imports builders/main 4 | 5 | 6 | -------------------------------------------------------------------------------- /languages/ExerciseB/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/ExerciseB/trans/to-xml/to-xml.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseB/trans/to-xml/to-xml.str -------------------------------------------------------------------------------- /languages/ExerciseC/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/.classpath -------------------------------------------------------------------------------- /languages/ExerciseC/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/.gitignore -------------------------------------------------------------------------------- /languages/ExerciseC/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/.project -------------------------------------------------------------------------------- /languages/ExerciseC/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/ExerciseC/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/build.generated.xml -------------------------------------------------------------------------------- /languages/ExerciseC/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/build.main.xml -------------------------------------------------------------------------------- /languages/ExerciseC/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/build.properties -------------------------------------------------------------------------------- /languages/ExerciseC/editor/ExerciseC-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/ExerciseC-Colorer.esv -------------------------------------------------------------------------------- /languages/ExerciseC/editor/ExerciseC-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/ExerciseC-Folding.esv -------------------------------------------------------------------------------- /languages/ExerciseC/editor/ExerciseC-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/ExerciseC-Menus.esv -------------------------------------------------------------------------------- /languages/ExerciseC/editor/ExerciseC-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/ExerciseC-Outliner.str -------------------------------------------------------------------------------- /languages/ExerciseC/editor/ExerciseC-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/ExerciseC-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseC/editor/ExerciseC-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/ExerciseC-Views.esv -------------------------------------------------------------------------------- /languages/ExerciseC/editor/ExerciseC.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/ExerciseC.main.esv -------------------------------------------------------------------------------- /languages/ExerciseC/editor/Menu-Analysis.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/Menu-Analysis.esv -------------------------------------------------------------------------------- /languages/ExerciseC/editor/Menu-Generation.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/Menu-Generation.esv -------------------------------------------------------------------------------- /languages/ExerciseC/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseC/examples/class/class01.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/class/class01.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/class/class02.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/class/class02.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/class/class03.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/class/class03.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/class/class04.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/class/class04.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/class/class05.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/class/class05.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/class/class06.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/class/class06.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/class/class07.ec: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/ExerciseC/examples/expr/and-or.ec: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/ExerciseC/examples/expr/expr01.ec: -------------------------------------------------------------------------------- 1 | - (1 + - (2 * 3)) 2 | 3 | -------------------------------------------------------------------------------- /languages/ExerciseC/examples/expr/expr02.ec: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/ExerciseC/examples/expr/expr03.ec: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/ExerciseC/examples/expr/expr04.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/expr/expr04.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/expr/expr05.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/expr/expr05.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/expr/expr06.ec: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/ExerciseC/examples/expr/let-do.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/expr/let-do.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/counter.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/counter.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/fib-memo.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/fib-memo.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/fib.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/fib.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/if.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/if.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/if01.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/if01.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/nodelist.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/nodelist.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/program01.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/program01.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test01.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test01.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test02.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test02.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test03.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test03.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test04.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test04.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test05.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test05.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test06.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test06.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test07.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test07.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test08.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test08.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test09.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test09.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test10.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test10.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test11.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test11.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/test12.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/test12.ec -------------------------------------------------------------------------------- /languages/ExerciseC/examples/program/tree-sum.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/examples/program/tree-sum.ec -------------------------------------------------------------------------------- /languages/ExerciseC/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/plugin.xml -------------------------------------------------------------------------------- /languages/ExerciseC/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/pom.xml -------------------------------------------------------------------------------- /languages/ExerciseC/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseC/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseC/syntax/ExerciseC.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/syntax/ExerciseC.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseC/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseC/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseC/trans/builders/analysis.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/builders/analysis.str -------------------------------------------------------------------------------- /languages/ExerciseC/trans/builders/debugging.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/builders/debugging.str -------------------------------------------------------------------------------- /languages/ExerciseC/trans/builders/editor.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/builders/editor.str -------------------------------------------------------------------------------- /languages/ExerciseC/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/builders/main.str -------------------------------------------------------------------------------- /languages/ExerciseC/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/ExerciseC/trans/check/check.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/check/check.str -------------------------------------------------------------------------------- /languages/ExerciseC/trans/check/names.nab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/check/names.nab -------------------------------------------------------------------------------- /languages/ExerciseC/trans/desugar/desugar.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/desugar/desugar.str -------------------------------------------------------------------------------- /languages/ExerciseC/trans/exercisec.str: -------------------------------------------------------------------------------- 1 | module langc 2 | 3 | imports builders/main 4 | 5 | 6 | -------------------------------------------------------------------------------- /languages/ExerciseC/trans/generate/generate.str: -------------------------------------------------------------------------------- 1 | module generate 2 | 3 | imports include/ExerciseC 4 | 5 | rules 6 | 7 | -------------------------------------------------------------------------------- /languages/ExerciseC/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseC/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/ExerciseD/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/.classpath -------------------------------------------------------------------------------- /languages/ExerciseD/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/.gitignore -------------------------------------------------------------------------------- /languages/ExerciseD/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/.project -------------------------------------------------------------------------------- /languages/ExerciseD/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/ExerciseD/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/build.generated.xml -------------------------------------------------------------------------------- /languages/ExerciseD/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/build.main.xml -------------------------------------------------------------------------------- /languages/ExerciseD/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/build.properties -------------------------------------------------------------------------------- /languages/ExerciseD/editor/ExerciseD-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/ExerciseD-Colorer.esv -------------------------------------------------------------------------------- /languages/ExerciseD/editor/ExerciseD-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/ExerciseD-Folding.esv -------------------------------------------------------------------------------- /languages/ExerciseD/editor/ExerciseD-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/ExerciseD-Menus.esv -------------------------------------------------------------------------------- /languages/ExerciseD/editor/ExerciseD-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/ExerciseD-Outliner.str -------------------------------------------------------------------------------- /languages/ExerciseD/editor/ExerciseD-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/ExerciseD-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseD/editor/ExerciseD-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/ExerciseD-Views.esv -------------------------------------------------------------------------------- /languages/ExerciseD/editor/ExerciseD.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/ExerciseD.main.esv -------------------------------------------------------------------------------- /languages/ExerciseD/editor/Menu-Analysis.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/Menu-Analysis.esv -------------------------------------------------------------------------------- /languages/ExerciseD/editor/Menu-Generation.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/Menu-Generation.esv -------------------------------------------------------------------------------- /languages/ExerciseD/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseD/examples/class/class01.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/class/class01.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/class/class02.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/class/class02.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/class/class03.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/class/class03.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/class/class04.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/class/class04.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/class/class05.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/class/class05.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/class/class06.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/class/class06.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/class/class07.ed: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/ExerciseD/examples/expr/and-or.ed: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/ExerciseD/examples/expr/expr01.ed: -------------------------------------------------------------------------------- 1 | - (1 + - (2 * 3)) 2 | 3 | -------------------------------------------------------------------------------- /languages/ExerciseD/examples/expr/expr02.ed: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/ExerciseD/examples/expr/expr03.ed: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/ExerciseD/examples/expr/expr04.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/expr/expr04.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/expr/expr05.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/expr/expr05.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/expr/expr06.ed: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/ExerciseD/examples/expr/let-do.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/expr/let-do.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/counter.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/counter.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/fib-memo.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/fib-memo.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/fib.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/fib.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/if.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/if.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/if01.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/if01.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/nodelist.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/nodelist.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/program01.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/program01.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test01.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test01.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test02.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test02.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test03.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test03.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test04.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test04.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test05.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test05.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test06.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test06.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test07.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test07.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test08.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test08.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test09.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test09.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test10.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test10.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test11.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test11.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/test12.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/test12.ed -------------------------------------------------------------------------------- /languages/ExerciseD/examples/program/tree-sum.ed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/examples/program/tree-sum.ed -------------------------------------------------------------------------------- /languages/ExerciseD/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/plugin.xml -------------------------------------------------------------------------------- /languages/ExerciseD/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/pom.xml -------------------------------------------------------------------------------- /languages/ExerciseD/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseD/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseD/syntax/ExerciseD.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/syntax/ExerciseD.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseD/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseD/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseD/trans/builders/analysis.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/builders/analysis.str -------------------------------------------------------------------------------- /languages/ExerciseD/trans/builders/debugging.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/builders/debugging.str -------------------------------------------------------------------------------- /languages/ExerciseD/trans/builders/editor.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/builders/editor.str -------------------------------------------------------------------------------- /languages/ExerciseD/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/builders/main.str -------------------------------------------------------------------------------- /languages/ExerciseD/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/ExerciseD/trans/check/check.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/check/check.str -------------------------------------------------------------------------------- /languages/ExerciseD/trans/check/names.nab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/check/names.nab -------------------------------------------------------------------------------- /languages/ExerciseD/trans/check/types-manual.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/check/types-manual.str -------------------------------------------------------------------------------- /languages/ExerciseD/trans/check/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/check/types.ts -------------------------------------------------------------------------------- /languages/ExerciseD/trans/desugar/desugar.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/desugar/desugar.str -------------------------------------------------------------------------------- /languages/ExerciseD/trans/exercised.str: -------------------------------------------------------------------------------- 1 | module langd 2 | 3 | imports builders/main 4 | 5 | 6 | -------------------------------------------------------------------------------- /languages/ExerciseD/trans/generate/generate.str: -------------------------------------------------------------------------------- 1 | module generate 2 | 3 | imports 4 | 5 | include/ExerciseD 6 | rules 7 | 8 | -------------------------------------------------------------------------------- /languages/ExerciseD/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseD/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/ExerciseE/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/.classpath -------------------------------------------------------------------------------- /languages/ExerciseE/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/.gitignore -------------------------------------------------------------------------------- /languages/ExerciseE/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/.project -------------------------------------------------------------------------------- /languages/ExerciseE/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/ExerciseE/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/build.generated.xml -------------------------------------------------------------------------------- /languages/ExerciseE/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/build.main.xml -------------------------------------------------------------------------------- /languages/ExerciseE/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/build.properties -------------------------------------------------------------------------------- /languages/ExerciseE/editor/ExerciseE-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/ExerciseE-Colorer.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/ExerciseE-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/ExerciseE-Folding.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/ExerciseE-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/ExerciseE-Menus.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/ExerciseE-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/ExerciseE-Outliner.str -------------------------------------------------------------------------------- /languages/ExerciseE/editor/ExerciseE-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/ExerciseE-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/ExerciseE-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/ExerciseE-Views.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/ExerciseE.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/ExerciseE.main.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/Menu-Analysis.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/Menu-Analysis.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/Menu-Generation.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/Menu-Generation.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/Menu-Run.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/Menu-Run.esv -------------------------------------------------------------------------------- /languages/ExerciseE/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/ExerciseE/examples/class/class02.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/class/class02.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/class/class03.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/class/class03.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/class/class04.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/class/class04.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/class/class05.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/class/class05.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/class/class06.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/class/class06.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/class/class07.ee: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/ExerciseE/examples/expr/and-or.ee: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/ExerciseE/examples/expr/expr01.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/expr/expr01.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/expr/expr02.ee: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/ExerciseE/examples/expr/expr03.ee: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 / 2 -------------------------------------------------------------------------------- /languages/ExerciseE/examples/expr/expr04.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/expr/expr04.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/expr/expr05.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/expr/expr05.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/expr/expr06.ee: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/ExerciseE/examples/expr/let-do.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/expr/let-do.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/counter.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/counter.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/fib.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/fib.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/if.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/if.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/if01.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/if01.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test01.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test01.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test02.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test02.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test03.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test03.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test04.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test04.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test05.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test05.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test06.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test06.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test07.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test07.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test08.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test08.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test09.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test09.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test10.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test10.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test11.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test11.ee -------------------------------------------------------------------------------- /languages/ExerciseE/examples/program/test12.ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/examples/program/test12.ee -------------------------------------------------------------------------------- /languages/ExerciseE/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/plugin.xml -------------------------------------------------------------------------------- /languages/ExerciseE/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/pom.xml -------------------------------------------------------------------------------- /languages/ExerciseE/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseE/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseE/syntax/ExerciseE.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/syntax/ExerciseE.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseE/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseE/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/ExerciseE/trans/builders/editor.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/builders/editor.str -------------------------------------------------------------------------------- /languages/ExerciseE/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/builders/main.str -------------------------------------------------------------------------------- /languages/ExerciseE/trans/builders/run.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/builders/run.str -------------------------------------------------------------------------------- /languages/ExerciseE/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/ExerciseE/trans/check/check.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/check/check.str -------------------------------------------------------------------------------- /languages/ExerciseE/trans/check/names.nab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/check/names.nab -------------------------------------------------------------------------------- /languages/ExerciseE/trans/check/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/check/types.ts -------------------------------------------------------------------------------- /languages/ExerciseE/trans/desugar/desugar.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/desugar/desugar.str -------------------------------------------------------------------------------- /languages/ExerciseE/trans/exercisee.str: -------------------------------------------------------------------------------- 1 | module exercisee 2 | 3 | imports builders/main 4 | -------------------------------------------------------------------------------- /languages/ExerciseE/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/ExerciseE/trans/semantics/values.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/ExerciseE/trans/semantics/values.ds -------------------------------------------------------------------------------- /languages/LanguageA/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/.classpath -------------------------------------------------------------------------------- /languages/LanguageA/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/.gitignore -------------------------------------------------------------------------------- /languages/LanguageA/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/.project -------------------------------------------------------------------------------- /languages/LanguageA/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/LanguageA/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/build.generated.xml -------------------------------------------------------------------------------- /languages/LanguageA/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/build.main.xml -------------------------------------------------------------------------------- /languages/LanguageA/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/build.properties -------------------------------------------------------------------------------- /languages/LanguageA/editor/LangA-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/editor/LangA-Colorer.esv -------------------------------------------------------------------------------- /languages/LanguageA/editor/LangA-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/editor/LangA-Folding.esv -------------------------------------------------------------------------------- /languages/LanguageA/editor/LangA-Menus.esv: -------------------------------------------------------------------------------- 1 | module LangA-Menus 2 | 3 | imports 4 | Menu-Syntax 5 | -------------------------------------------------------------------------------- /languages/LanguageA/editor/LangA-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/editor/LangA-Outliner.str -------------------------------------------------------------------------------- /languages/LanguageA/editor/LangA-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/editor/LangA-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageA/editor/LangA-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/editor/LangA-Views.esv -------------------------------------------------------------------------------- /languages/LanguageA/editor/LangA.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/editor/LangA.main.esv -------------------------------------------------------------------------------- /languages/LanguageA/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageA/examples/class/class01.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/class/class01.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/class/class02.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/class/class02.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/class/class03.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/class/class03.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/class/class04.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/class/class04.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/class/class05.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/class/class05.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/class/class06.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/class/class06.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/class/class07.la: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/LanguageA/examples/expr/expr01.la: -------------------------------------------------------------------------------- 1 | - (1 + - (2 * 3)) 2 | 3 | -------------------------------------------------------------------------------- /languages/LanguageA/examples/expr/expr02.la: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/LanguageA/examples/expr/expr03.la: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/LanguageA/examples/expr/expr04.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/expr/expr04.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/expr/expr05.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/expr/expr05.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/expr/expr06.la: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/LanguageA/examples/language3/fib.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/language3/fib.la -------------------------------------------------------------------------------- /languages/LanguageA/examples/language3/if.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/examples/language3/if.la -------------------------------------------------------------------------------- /languages/LanguageA/include/LangA.generated.pp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/include/LangA.generated.pp -------------------------------------------------------------------------------- /languages/LanguageA/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/plugin.xml -------------------------------------------------------------------------------- /languages/LanguageA/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/pom.xml -------------------------------------------------------------------------------- /languages/LanguageA/syntax/BasicPrograms.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/syntax/BasicPrograms.sdf3 -------------------------------------------------------------------------------- /languages/LanguageA/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/LanguageA/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/LanguageA/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/LanguageA/syntax/LangA.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/syntax/LangA.sdf3 -------------------------------------------------------------------------------- /languages/LanguageA/syntax/LangA.sdf3.copy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/syntax/LangA.sdf3.copy -------------------------------------------------------------------------------- /languages/LanguageA/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/LanguageA/syntax/ProgramsPlain.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/syntax/ProgramsPlain.sdf3 -------------------------------------------------------------------------------- /languages/LanguageA/tests/class.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/tests/class.spt -------------------------------------------------------------------------------- /languages/LanguageA/tests/expr-arith-prec.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/tests/expr-arith-prec.spt -------------------------------------------------------------------------------- /languages/LanguageA/tests/expr-arith.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/tests/expr-arith.spt -------------------------------------------------------------------------------- /languages/LanguageA/tests/expr-bool.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/tests/expr-bool.spt -------------------------------------------------------------------------------- /languages/LanguageA/tests/expr-syntax.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/tests/expr-syntax.spt -------------------------------------------------------------------------------- /languages/LanguageA/tests/expr-syntax2.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/tests/expr-syntax2.spt -------------------------------------------------------------------------------- /languages/LanguageA/tests/expr-var.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/tests/expr-var.spt -------------------------------------------------------------------------------- /languages/LanguageA/tests/program.spt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/tests/program.spt -------------------------------------------------------------------------------- /languages/LanguageA/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/trans/builders/main.str -------------------------------------------------------------------------------- /languages/LanguageA/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/LanguageA/trans/langa.str: -------------------------------------------------------------------------------- 1 | module langa 2 | 3 | imports builders/main 4 | -------------------------------------------------------------------------------- /languages/LanguageA/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageA/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/LanguageB/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/.classpath -------------------------------------------------------------------------------- /languages/LanguageB/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/.gitignore -------------------------------------------------------------------------------- /languages/LanguageB/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/.project -------------------------------------------------------------------------------- /languages/LanguageB/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/LanguageB/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/build.generated.xml -------------------------------------------------------------------------------- /languages/LanguageB/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/build.main.xml -------------------------------------------------------------------------------- /languages/LanguageB/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/build.properties -------------------------------------------------------------------------------- /languages/LanguageB/editor/LangB-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/editor/LangB-Colorer.esv -------------------------------------------------------------------------------- /languages/LanguageB/editor/LangB-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/editor/LangB-Folding.esv -------------------------------------------------------------------------------- /languages/LanguageB/editor/LangB-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/editor/LangB-Menus.esv -------------------------------------------------------------------------------- /languages/LanguageB/editor/LangB-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/editor/LangB-Outliner.str -------------------------------------------------------------------------------- /languages/LanguageB/editor/LangB-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/editor/LangB-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageB/editor/LangB-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/editor/LangB-Views.esv -------------------------------------------------------------------------------- /languages/LanguageB/editor/LangB.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/editor/LangB.main.esv -------------------------------------------------------------------------------- /languages/LanguageB/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageB/examples/class/class01.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/class/class01.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/class/class02.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/class/class02.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/class/class03.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/class/class03.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/class/class04.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/class/class04.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/class/class05.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/class/class05.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/class/class06.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/class/class06.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/class/class07.lb: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/and-or.aterm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/expr/and-or.aterm -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/and-or.lb: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/expr01.lb: -------------------------------------------------------------------------------- 1 | - (1 + - (2 * 3)) 2 | 3 | -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/expr02.lb: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/expr03.lb: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/expr04.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/expr/expr04.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/expr05.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/expr/expr05.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/expr06.lb: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/let-do.aterm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/expr/let-do.aterm -------------------------------------------------------------------------------- /languages/LanguageB/examples/expr/let-do.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/expr/let-do.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/language3/fib.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/language3/fib.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/language3/if.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/examples/language3/if.lb -------------------------------------------------------------------------------- /languages/LanguageB/examples/language3/nodelist.aterm.lb: -------------------------------------------------------------------------------- 1 | Not(Get(This(), "hasNext")) -------------------------------------------------------------------------------- /languages/LanguageB/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/plugin.xml -------------------------------------------------------------------------------- /languages/LanguageB/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/pom.xml -------------------------------------------------------------------------------- /languages/LanguageB/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/LanguageB/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/LanguageB/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/LanguageB/syntax/LangB.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/syntax/LangB.sdf3 -------------------------------------------------------------------------------- /languages/LanguageB/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/LanguageB/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/trans/builders/main.str -------------------------------------------------------------------------------- /languages/LanguageB/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/LanguageB/trans/desugar/desugar.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/trans/desugar/desugar.str -------------------------------------------------------------------------------- /languages/LanguageB/trans/langb.str: -------------------------------------------------------------------------------- 1 | module langb 2 | 3 | imports builders/main 4 | 5 | 6 | -------------------------------------------------------------------------------- /languages/LanguageB/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/LanguageB/trans/to-xml/to-xml.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageB/trans/to-xml/to-xml.str -------------------------------------------------------------------------------- /languages/LanguageC/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/.classpath -------------------------------------------------------------------------------- /languages/LanguageC/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/.gitignore -------------------------------------------------------------------------------- /languages/LanguageC/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/.project -------------------------------------------------------------------------------- /languages/LanguageC/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/LanguageC/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/build.generated.xml -------------------------------------------------------------------------------- /languages/LanguageC/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/build.main.xml -------------------------------------------------------------------------------- /languages/LanguageC/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/build.properties -------------------------------------------------------------------------------- /languages/LanguageC/editor/LangC-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/LangC-Colorer.esv -------------------------------------------------------------------------------- /languages/LanguageC/editor/LangC-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/LangC-Folding.esv -------------------------------------------------------------------------------- /languages/LanguageC/editor/LangC-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/LangC-Menus.esv -------------------------------------------------------------------------------- /languages/LanguageC/editor/LangC-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/LangC-Outliner.str -------------------------------------------------------------------------------- /languages/LanguageC/editor/LangC-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/LangC-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageC/editor/LangC-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/LangC-Views.esv -------------------------------------------------------------------------------- /languages/LanguageC/editor/LangC.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/LangC.main.esv -------------------------------------------------------------------------------- /languages/LanguageC/editor/Menu-Analysis.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/Menu-Analysis.esv -------------------------------------------------------------------------------- /languages/LanguageC/editor/Menu-Generation.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/Menu-Generation.esv -------------------------------------------------------------------------------- /languages/LanguageC/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageC/examples/class/class01.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/class/class01.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/class/class02.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/class/class02.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/class/class03.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/class/class03.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/class/class04.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/class/class04.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/class/class05.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/class/class05.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/class/class06.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/class/class06.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/class/class07.lc: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/LanguageC/examples/expr/and-or.lc: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/LanguageC/examples/expr/expr01.lc: -------------------------------------------------------------------------------- 1 | - (1 + - (2 * 3)) 2 | 3 | -------------------------------------------------------------------------------- /languages/LanguageC/examples/expr/expr02.lc: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/LanguageC/examples/expr/expr03.lc: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/LanguageC/examples/expr/expr04.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/expr/expr04.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/expr/expr05.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/expr/expr05.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/expr/expr06.lc: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/LanguageC/examples/expr/let-do.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/expr/let-do.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/fib.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/fib.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/if.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/if.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/if01.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/if01.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test01.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test01.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test02.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test02.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test03.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test03.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test04.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test04.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test05.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test05.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test06.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test06.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test07.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test07.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test08.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test08.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test09.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test09.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test10.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test10.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test11.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test11.lc -------------------------------------------------------------------------------- /languages/LanguageC/examples/program/test12.lc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/examples/program/test12.lc -------------------------------------------------------------------------------- /languages/LanguageC/include/LangC.generated.pp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/include/LangC.generated.pp -------------------------------------------------------------------------------- /languages/LanguageC/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/plugin.xml -------------------------------------------------------------------------------- /languages/LanguageC/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/pom.xml -------------------------------------------------------------------------------- /languages/LanguageC/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/LanguageC/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/LanguageC/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/LanguageC/syntax/LangC.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/syntax/LangC.sdf3 -------------------------------------------------------------------------------- /languages/LanguageC/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/LanguageC/trans/builders/editor.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/trans/builders/editor.str -------------------------------------------------------------------------------- /languages/LanguageC/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/trans/builders/main.str -------------------------------------------------------------------------------- /languages/LanguageC/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/LanguageC/trans/check/check.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/trans/check/check.str -------------------------------------------------------------------------------- /languages/LanguageC/trans/check/names.nab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/trans/check/names.nab -------------------------------------------------------------------------------- /languages/LanguageC/trans/desugar/desugar.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/trans/desugar/desugar.str -------------------------------------------------------------------------------- /languages/LanguageC/trans/generate/generate.str: -------------------------------------------------------------------------------- 1 | module generate 2 | 3 | imports 4 | 5 | include/LangC 6 | rules 7 | 8 | -------------------------------------------------------------------------------- /languages/LanguageC/trans/langc.str: -------------------------------------------------------------------------------- 1 | module langc 2 | 3 | imports builders/main 4 | 5 | 6 | -------------------------------------------------------------------------------- /languages/LanguageC/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageC/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/LanguageD/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/.classpath -------------------------------------------------------------------------------- /languages/LanguageD/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/.gitignore -------------------------------------------------------------------------------- /languages/LanguageD/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/.project -------------------------------------------------------------------------------- /languages/LanguageD/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/LanguageD/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/build.generated.xml -------------------------------------------------------------------------------- /languages/LanguageD/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/build.main.xml -------------------------------------------------------------------------------- /languages/LanguageD/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/build.properties -------------------------------------------------------------------------------- /languages/LanguageD/editor/LangD-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/LangD-Colorer.esv -------------------------------------------------------------------------------- /languages/LanguageD/editor/LangD-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/LangD-Folding.esv -------------------------------------------------------------------------------- /languages/LanguageD/editor/LangD-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/LangD-Menus.esv -------------------------------------------------------------------------------- /languages/LanguageD/editor/LangD-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/LangD-Outliner.str -------------------------------------------------------------------------------- /languages/LanguageD/editor/LangD-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/LangD-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageD/editor/LangD-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/LangD-Views.esv -------------------------------------------------------------------------------- /languages/LanguageD/editor/LangD.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/LangD.main.esv -------------------------------------------------------------------------------- /languages/LanguageD/editor/Menu-Analysis.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/Menu-Analysis.esv -------------------------------------------------------------------------------- /languages/LanguageD/editor/Menu-Generation.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/Menu-Generation.esv -------------------------------------------------------------------------------- /languages/LanguageD/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageD/examples/class/class01.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/class/class01.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/class/class02.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/class/class02.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/class/class03.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/class/class03.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/class/class04.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/class/class04.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/class/class05.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/class/class05.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/class/class06.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/class/class06.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/class/class07.ld: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/LanguageD/examples/expr/and-or.ld: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/LanguageD/examples/expr/expr01.ld: -------------------------------------------------------------------------------- 1 | - (1 + - (2 * 3)) 2 | 3 | -------------------------------------------------------------------------------- /languages/LanguageD/examples/expr/expr02.ld: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/LanguageD/examples/expr/expr03.ld: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/LanguageD/examples/expr/expr04.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/expr/expr04.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/expr/expr05.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/expr/expr05.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/expr/expr06.ld: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/LanguageD/examples/expr/let-do.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/expr/let-do.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/fib.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/fib.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/if.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/if.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/if01.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/if01.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test01.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test01.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test02.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test02.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test03.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test03.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test04.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test04.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test05.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test05.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test06.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test06.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test07.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test07.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test08.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test08.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test09.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test09.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test10.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test10.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test11.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test11.ld -------------------------------------------------------------------------------- /languages/LanguageD/examples/program/test12.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/examples/program/test12.ld -------------------------------------------------------------------------------- /languages/LanguageD/include/LangD.generated.pp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/include/LangD.generated.pp -------------------------------------------------------------------------------- /languages/LanguageD/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/plugin.xml -------------------------------------------------------------------------------- /languages/LanguageD/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/pom.xml -------------------------------------------------------------------------------- /languages/LanguageD/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/LanguageD/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/LanguageD/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/LanguageD/syntax/LangD.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/syntax/LangD.sdf3 -------------------------------------------------------------------------------- /languages/LanguageD/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/LanguageD/trans/builders/editor.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/trans/builders/editor.str -------------------------------------------------------------------------------- /languages/LanguageD/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/trans/builders/main.str -------------------------------------------------------------------------------- /languages/LanguageD/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/LanguageD/trans/check/check.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/trans/check/check.str -------------------------------------------------------------------------------- /languages/LanguageD/trans/check/names.nab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/trans/check/names.nab -------------------------------------------------------------------------------- /languages/LanguageD/trans/check/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/trans/check/types.ts -------------------------------------------------------------------------------- /languages/LanguageD/trans/desugar/desugar.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/trans/desugar/desugar.str -------------------------------------------------------------------------------- /languages/LanguageD/trans/generate/generate.str: -------------------------------------------------------------------------------- 1 | module generate 2 | 3 | imports 4 | 5 | include/LangD 6 | rules 7 | 8 | -------------------------------------------------------------------------------- /languages/LanguageD/trans/langd.str: -------------------------------------------------------------------------------- 1 | module langd 2 | 3 | imports builders/main 4 | 5 | 6 | -------------------------------------------------------------------------------- /languages/LanguageD/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageD/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/LanguageE/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/.classpath -------------------------------------------------------------------------------- /languages/LanguageE/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/.gitignore -------------------------------------------------------------------------------- /languages/LanguageE/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/.project -------------------------------------------------------------------------------- /languages/LanguageE/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/LanguageE/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/build.generated.xml -------------------------------------------------------------------------------- /languages/LanguageE/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/build.main.xml -------------------------------------------------------------------------------- /languages/LanguageE/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/build.properties -------------------------------------------------------------------------------- /languages/LanguageE/editor/LangE-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/LangE-Colorer.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/LangE-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/LangE-Folding.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/LangE-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/LangE-Menus.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/LangE-Outliner.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/LangE-Outliner.str -------------------------------------------------------------------------------- /languages/LanguageE/editor/LangE-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/LangE-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/LangE-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/LangE-Views.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/LangE.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/LangE.main.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/Menu-Analysis.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/Menu-Analysis.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/Menu-Generation.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/Menu-Generation.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/Menu-Run.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/Menu-Run.esv -------------------------------------------------------------------------------- /languages/LanguageE/editor/Menu-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/editor/Menu-Syntax.esv -------------------------------------------------------------------------------- /languages/LanguageE/examples/class/class01.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/class/class01.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/class/class02.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/class/class02.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/class/class03.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/class/class03.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/class/class04.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/class/class04.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/class/class05.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/class/class05.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/class/class06.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/class/class06.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/class/class07.le: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/LanguageE/examples/expr/and-or.le: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/LanguageE/examples/expr/expr01.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/expr/expr01.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/expr/expr02.le: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/LanguageE/examples/expr/expr03.le: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 + 2 -------------------------------------------------------------------------------- /languages/LanguageE/examples/expr/expr04.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/expr/expr04.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/expr/expr05.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/expr/expr05.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/expr/expr06.le: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/LanguageE/examples/expr/let-do.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/expr/let-do.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/fib.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/fib.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/if.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/if.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/if01.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/if01.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test01.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test01.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test02.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test02.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test03.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test03.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test04.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test04.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test05.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test05.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test06.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test06.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test07.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test07.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test08.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test08.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test09.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test09.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test10.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test10.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test11.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test11.le -------------------------------------------------------------------------------- /languages/LanguageE/examples/program/test12.le: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/examples/program/test12.le -------------------------------------------------------------------------------- /languages/LanguageE/include/LangE.generated.pp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/include/LangE.generated.pp -------------------------------------------------------------------------------- /languages/LanguageE/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/plugin.xml -------------------------------------------------------------------------------- /languages/LanguageE/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/pom.xml -------------------------------------------------------------------------------- /languages/LanguageE/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/LanguageE/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/LanguageE/syntax/Expressions.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/syntax/Expressions.sdf3 -------------------------------------------------------------------------------- /languages/LanguageE/syntax/LangE.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/syntax/LangE.sdf3 -------------------------------------------------------------------------------- /languages/LanguageE/syntax/Programs.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/syntax/Programs.sdf3 -------------------------------------------------------------------------------- /languages/LanguageE/trans/builders/editor.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/builders/editor.str -------------------------------------------------------------------------------- /languages/LanguageE/trans/builders/main.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/builders/main.str -------------------------------------------------------------------------------- /languages/LanguageE/trans/builders/run.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/builders/run.str -------------------------------------------------------------------------------- /languages/LanguageE/trans/builders/syntax.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/builders/syntax.str -------------------------------------------------------------------------------- /languages/LanguageE/trans/check/check.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/check/check.str -------------------------------------------------------------------------------- /languages/LanguageE/trans/check/names.nab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/check/names.nab -------------------------------------------------------------------------------- /languages/LanguageE/trans/check/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/check/types.ts -------------------------------------------------------------------------------- /languages/LanguageE/trans/desugar/desugar.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/desugar/desugar.str -------------------------------------------------------------------------------- /languages/LanguageE/trans/generate/generate.str: -------------------------------------------------------------------------------- 1 | module generate 2 | 3 | imports 4 | 5 | include/LangE 6 | rules 7 | 8 | -------------------------------------------------------------------------------- /languages/LanguageE/trans/lange.str: -------------------------------------------------------------------------------- 1 | module lange 2 | 3 | imports builders/main 4 | 5 | 6 | -------------------------------------------------------------------------------- /languages/LanguageE/trans/pretty-print/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/pretty-print/pp.str -------------------------------------------------------------------------------- /languages/LanguageE/trans/semantics/values.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/LanguageE/trans/semantics/values.ds -------------------------------------------------------------------------------- /languages/Stratego/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/.classpath -------------------------------------------------------------------------------- /languages/Stratego/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/.gitignore -------------------------------------------------------------------------------- /languages/Stratego/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/.project -------------------------------------------------------------------------------- /languages/Stratego/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /languages/Stratego/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/build.generated.xml -------------------------------------------------------------------------------- /languages/Stratego/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/build.main.xml -------------------------------------------------------------------------------- /languages/Stratego/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/build.properties -------------------------------------------------------------------------------- /languages/Stratego/editor/Stratego-Colorer.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/editor/Stratego-Colorer.esv -------------------------------------------------------------------------------- /languages/Stratego/editor/Stratego-Folding.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/editor/Stratego-Folding.esv -------------------------------------------------------------------------------- /languages/Stratego/editor/Stratego-Menus.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/editor/Stratego-Menus.esv -------------------------------------------------------------------------------- /languages/Stratego/editor/Stratego-Syntax.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/editor/Stratego-Syntax.esv -------------------------------------------------------------------------------- /languages/Stratego/editor/Stratego-Views.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/editor/Stratego-Views.esv -------------------------------------------------------------------------------- /languages/Stratego/editor/Stratego.main.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/editor/Stratego.main.esv -------------------------------------------------------------------------------- /languages/Stratego/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/plugin.xml -------------------------------------------------------------------------------- /languages/Stratego/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/pom.xml -------------------------------------------------------------------------------- /languages/Stratego/semantics/build.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/semantics/build.ds -------------------------------------------------------------------------------- /languages/Stratego/semantics/match.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/semantics/match.ds -------------------------------------------------------------------------------- /languages/Stratego/semantics/terms.ds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/semantics/terms.ds -------------------------------------------------------------------------------- /languages/Stratego/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/Stratego/syntax/Patterns.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/syntax/Patterns.sdf3 -------------------------------------------------------------------------------- /languages/Stratego/syntax/Stratego.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/syntax/Stratego.sdf3 -------------------------------------------------------------------------------- /languages/Stratego/syntax/Terms.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/syntax/Terms.sdf3 -------------------------------------------------------------------------------- /languages/Stratego/trans/check.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/trans/check.str -------------------------------------------------------------------------------- /languages/Stratego/trans/generate.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/trans/generate.str -------------------------------------------------------------------------------- /languages/Stratego/trans/names.nab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/trans/names.nab -------------------------------------------------------------------------------- /languages/Stratego/trans/pp.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/trans/pp.str -------------------------------------------------------------------------------- /languages/Stratego/trans/stratego.str: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/Stratego/trans/stratego.str -------------------------------------------------------------------------------- /languages/paplj.core/paplj.core.full/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj.core/paplj.core.full/pom.xml -------------------------------------------------------------------------------- /languages/paplj.core/paplj.core.full/trans/paplj.str: -------------------------------------------------------------------------------- 1 | module paplj 2 | 3 | imports builders/main 4 | 5 | 6 | -------------------------------------------------------------------------------- /languages/paplj/pack.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/pack.sh -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-examples/.project -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/class/class07.pj: -------------------------------------------------------------------------------- 1 | program class07 2 | 3 | run new A() -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/expr/and-or.pj: -------------------------------------------------------------------------------- 1 | program andor 2 | run x || false && y -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/expr/expr01.pj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-examples/expr/expr01.pj -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/expr/expr02.pj: -------------------------------------------------------------------------------- 1 | program expr02 run 2 | 3 | 4 + (let Num x = 3 in x) 4 | -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/expr/expr03.pj: -------------------------------------------------------------------------------- 1 | program expr03 2 | 3 | run 1 / 2 -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/expr/expr04.pj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-examples/expr/expr04.pj -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/expr/expr05.pj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-examples/expr/expr05.pj -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/expr/expr06.pj: -------------------------------------------------------------------------------- 1 | program expr06 2 | 3 | run 4 | 5 | let Num x = 6 in x + 1 -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/expr/let-do.pj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-examples/expr/let-do.pj -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/program/empty.pj: -------------------------------------------------------------------------------- 1 | program empty 2 | 3 | run 1 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/program/fib.pj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-examples/program/fib.pj -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/program/if.pj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-examples/program/if.pj -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/program/if01.pj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-examples/program/if01.pj -------------------------------------------------------------------------------- /languages/paplj/paplj-examples/program/test00.pj: -------------------------------------------------------------------------------- 1 | program test00 2 | 3 | run 4 4 | 5 | -------------------------------------------------------------------------------- /languages/paplj/paplj-exercises-names/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-exercises-names/.project -------------------------------------------------------------------------------- /languages/paplj/paplj-exercises-transformation/.gitignore: -------------------------------------------------------------------------------- 1 | cache -------------------------------------------------------------------------------- /languages/paplj/paplj-exercises-transformation/doodle.pj: -------------------------------------------------------------------------------- 1 | program doodle 2 | 3 | run 1 + 2 4 | -------------------------------------------------------------------------------- /languages/paplj/paplj-exercises-types/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-exercises-types/.project -------------------------------------------------------------------------------- /languages/paplj/paplj-exercises-types/4-type-analysis/doodle.pj: -------------------------------------------------------------------------------- 1 | program tst 2 | run 3 | false && true 4 | -------------------------------------------------------------------------------- /languages/paplj/paplj-exercises/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-exercises/.project -------------------------------------------------------------------------------- /languages/paplj/paplj-exercises/counter.pj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj-exercises/counter.pj -------------------------------------------------------------------------------- /languages/paplj/paplj-exercises/doodle.pj: -------------------------------------------------------------------------------- 1 | program doodle 2 | 3 | run 1 + 2 4 | -------------------------------------------------------------------------------- /languages/paplj/paplj.analysis/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.analysis/.classpath -------------------------------------------------------------------------------- /languages/paplj/paplj.analysis/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.analysis/.gitignore -------------------------------------------------------------------------------- /languages/paplj/paplj.analysis/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.analysis/.project -------------------------------------------------------------------------------- /languages/paplj/paplj.analysis/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.analysis/build.main.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.analysis/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.analysis/plugin.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.analysis/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.analysis/pom.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.analysis/trans/paplj.str: -------------------------------------------------------------------------------- 1 | module paplj 2 | 3 | imports builders/main 4 | -------------------------------------------------------------------------------- /languages/paplj/paplj.full/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/.classpath -------------------------------------------------------------------------------- /languages/paplj/paplj.full/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/.gitignore -------------------------------------------------------------------------------- /languages/paplj/paplj.full/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/.project -------------------------------------------------------------------------------- /languages/paplj/paplj.full/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /languages/paplj/paplj.full/build.generated.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/build.generated.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.full/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/build.main.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.full/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/build.properties -------------------------------------------------------------------------------- /languages/paplj/paplj.full/editor/Menu-Run.esv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/editor/Menu-Run.esv -------------------------------------------------------------------------------- /languages/paplj/paplj.full/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/plugin.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.full/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/pom.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.full/syntax/Classes.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/syntax/Classes.sdf3 -------------------------------------------------------------------------------- /languages/paplj/paplj.full/syntax/Common.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/syntax/Common.sdf3 -------------------------------------------------------------------------------- /languages/paplj/paplj.full/syntax/PAPLJ.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/syntax/PAPLJ.sdf3 -------------------------------------------------------------------------------- /languages/paplj/paplj.full/syntax/Values.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.full/syntax/Values.sdf3 -------------------------------------------------------------------------------- /languages/paplj/paplj.full/trans/paplj.str: -------------------------------------------------------------------------------- 1 | module paplj 2 | 3 | imports builders/main 4 | -------------------------------------------------------------------------------- /languages/paplj/paplj.semantics/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.semantics/.classpath -------------------------------------------------------------------------------- /languages/paplj/paplj.semantics/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.semantics/.gitignore -------------------------------------------------------------------------------- /languages/paplj/paplj.semantics/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.semantics/.project -------------------------------------------------------------------------------- /languages/paplj/paplj.semantics/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.semantics/build.main.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.semantics/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.semantics/plugin.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.semantics/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.semantics/pom.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.semantics/trans/paplj.str: -------------------------------------------------------------------------------- 1 | module paplj 2 | 3 | imports builders/main 4 | -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.syntax/.classpath -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.syntax/.gitignore -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.syntax/.project -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/build.main.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.syntax/build.main.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.syntax/build.properties -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.syntax/plugin.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.syntax/pom.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/syntax/PAPLJ.sdf3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.syntax/syntax/PAPLJ.sdf3 -------------------------------------------------------------------------------- /languages/paplj/paplj.syntax/trans/paplj.str: -------------------------------------------------------------------------------- 1 | module paplj 2 | 3 | imports builders/main 4 | -------------------------------------------------------------------------------- /languages/paplj/paplj.transformation/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.transformation/.project -------------------------------------------------------------------------------- /languages/paplj/paplj.transformation/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/languages/paplj/paplj.transformation/pom.xml -------------------------------------------------------------------------------- /languages/paplj/paplj.transformation/trans/paplj.str: -------------------------------------------------------------------------------- 1 | module paplj 2 | 3 | imports builders/main 4 | -------------------------------------------------------------------------------- /presentations/2015-07-13-dsldiss/2015-06-Digiteo/alg/talk/Rescalc/commands/languages/PCFM.log: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /presentations/2015-07-13-dsldiss/2015-06-Digiteo/alg/techreport/maak: -------------------------------------------------------------------------------- 1 | #! /bin/sh 2 | 3 | make -f Makefile.report REPORT=TUD-SERG-2015-001 4 | -------------------------------------------------------------------------------- /presentations/2015-07-13-dsldiss/2015-06-Digiteo/traversal/figures/examples/generated/05-qualified.analysis.type.nontriv.tex: -------------------------------------------------------------------------------- 1 | \EqCTeq{\tau_{1}}{\intty{}} -------------------------------------------------------------------------------- /presentations/2015-07-13-dsldiss/2015-06-Digiteo/traversal/figures/examples/generated/05-qualified.analysis.type.tex: -------------------------------------------------------------------------------- 1 | \EqCTeq{\tau_{1}}{\intty{}} -------------------------------------------------------------------------------- /presentations/2015-07-13-dsldiss/2015-06-Digiteo/traversal/make: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /presentations/2015-07-13-dsldiss/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/presentations/2015-07-13-dsldiss/README.md -------------------------------------------------------------------------------- /presentations/2015-07-13-dsldiss/summary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/presentations/2015-07-13-dsldiss/summary.md -------------------------------------------------------------------------------- /scripts/rename.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MetaBorgCube/declare-your-language/HEAD/scripts/rename.sh --------------------------------------------------------------------------------