├── .gitignore ├── .gitmodules ├── Dockerfile ├── LICENSE ├── README.md ├── all.rkt ├── anonymize.make ├── benchread.py ├── benchrun.sh ├── demos ├── aaai-bridge-demo.rkt ├── pldi │ ├── README.md │ ├── appendo.rkt │ ├── or-evalo.rkt │ ├── proofo.rkt │ ├── quasiquine.rkt │ ├── regex.rkt │ ├── synth-append.rkt │ └── synth-fib.rkt ├── staging-demo.rkt └── yow.rkt ├── info.rkt ├── interp.rkt ├── main.rkt ├── private └── internals.rkt ├── small-interp ├── staged.rkt └── unstaged.rkt ├── staged-interp.scm ├── staged-test-tags.rkt ├── test-check.rkt ├── tests ├── all-bench.rkt ├── all.rkt ├── amb-interp.rkt ├── applications │ ├── dl.rkt │ ├── double-eval.rkt │ ├── explicitly-quote-constant.rkt │ ├── grammars.rkt │ ├── map.rkt │ ├── metaKanren.rkt │ ├── metamk.rkt │ ├── microKanren.rkt │ ├── or-lang-interp.rkt │ ├── parsing-with-derivatives.rkt │ ├── peano-fib.rkt │ ├── power.rkt │ ├── proof.rkt │ ├── replicate.ml │ ├── replicate.rkt │ └── type-inhabitation.rkt ├── barliman-comparison │ ├── README.md │ ├── barliman-comparison.scm │ ├── challenge-7.scm │ ├── chez-load-interp.scm │ ├── evalo-optimized.scm │ ├── evalo-standard.scm │ ├── mk │ │ ├── arithmetic.scm │ │ ├── mk.scm │ │ └── test-check.scm │ ├── test-fib-aps-synth.scm │ └── test-proofo.scm ├── bench-paper.rkt ├── bench-rel.rkt ├── doc-bench.rkt ├── doc-noto.rkt ├── doc.rkt ├── full-infer.rkt ├── graphs.rkt ├── infer.rkt ├── interp-doc.rkt ├── interpreter │ ├── basics.rkt │ ├── lambda-backwards.rkt │ ├── letrec-cross-stage.rkt │ ├── or-interp.rkt │ └── staged-apply-letrec.rkt ├── known-bugs.rkt ├── language │ ├── basics.rkt │ ├── cross-stage-persistence.rkt │ ├── fallback.rkt │ ├── gather.rkt │ ├── multistage.rkt │ ├── nontermination.rkt │ └── partial-apply.rkt ├── or-interp-unstaged.rkt ├── or-interp.ml ├── or-interp.rkt ├── ordecls.ml ├── synth-task-macros-backwards.rkt └── synth-task-macros-synth-context.rkt └── unstaged-interp.scm /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/.gitmodules -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/README.md -------------------------------------------------------------------------------- /all.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/all.rkt -------------------------------------------------------------------------------- /anonymize.make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/anonymize.make -------------------------------------------------------------------------------- /benchread.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/benchread.py -------------------------------------------------------------------------------- /benchrun.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/benchrun.sh -------------------------------------------------------------------------------- /demos/aaai-bridge-demo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/aaai-bridge-demo.rkt -------------------------------------------------------------------------------- /demos/pldi/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/pldi/README.md -------------------------------------------------------------------------------- /demos/pldi/appendo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/pldi/appendo.rkt -------------------------------------------------------------------------------- /demos/pldi/or-evalo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/pldi/or-evalo.rkt -------------------------------------------------------------------------------- /demos/pldi/proofo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/pldi/proofo.rkt -------------------------------------------------------------------------------- /demos/pldi/quasiquine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/pldi/quasiquine.rkt -------------------------------------------------------------------------------- /demos/pldi/regex.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/pldi/regex.rkt -------------------------------------------------------------------------------- /demos/pldi/synth-append.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/pldi/synth-append.rkt -------------------------------------------------------------------------------- /demos/pldi/synth-fib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/pldi/synth-fib.rkt -------------------------------------------------------------------------------- /demos/staging-demo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/staging-demo.rkt -------------------------------------------------------------------------------- /demos/yow.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/demos/yow.rkt -------------------------------------------------------------------------------- /info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/info.rkt -------------------------------------------------------------------------------- /interp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/interp.rkt -------------------------------------------------------------------------------- /main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/main.rkt -------------------------------------------------------------------------------- /private/internals.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/private/internals.rkt -------------------------------------------------------------------------------- /small-interp/staged.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/small-interp/staged.rkt -------------------------------------------------------------------------------- /small-interp/unstaged.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/small-interp/unstaged.rkt -------------------------------------------------------------------------------- /staged-interp.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/staged-interp.scm -------------------------------------------------------------------------------- /staged-test-tags.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/staged-test-tags.rkt -------------------------------------------------------------------------------- /test-check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/test-check.rkt -------------------------------------------------------------------------------- /tests/all-bench.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/all-bench.rkt -------------------------------------------------------------------------------- /tests/all.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/all.rkt -------------------------------------------------------------------------------- /tests/amb-interp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/amb-interp.rkt -------------------------------------------------------------------------------- /tests/applications/dl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/dl.rkt -------------------------------------------------------------------------------- /tests/applications/double-eval.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/double-eval.rkt -------------------------------------------------------------------------------- /tests/applications/explicitly-quote-constant.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/explicitly-quote-constant.rkt -------------------------------------------------------------------------------- /tests/applications/grammars.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/grammars.rkt -------------------------------------------------------------------------------- /tests/applications/map.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/map.rkt -------------------------------------------------------------------------------- /tests/applications/metaKanren.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/metaKanren.rkt -------------------------------------------------------------------------------- /tests/applications/metamk.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/metamk.rkt -------------------------------------------------------------------------------- /tests/applications/microKanren.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/microKanren.rkt -------------------------------------------------------------------------------- /tests/applications/or-lang-interp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/or-lang-interp.rkt -------------------------------------------------------------------------------- /tests/applications/parsing-with-derivatives.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/parsing-with-derivatives.rkt -------------------------------------------------------------------------------- /tests/applications/peano-fib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/peano-fib.rkt -------------------------------------------------------------------------------- /tests/applications/power.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/power.rkt -------------------------------------------------------------------------------- /tests/applications/proof.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/proof.rkt -------------------------------------------------------------------------------- /tests/applications/replicate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/replicate.ml -------------------------------------------------------------------------------- /tests/applications/replicate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/replicate.rkt -------------------------------------------------------------------------------- /tests/applications/type-inhabitation.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/applications/type-inhabitation.rkt -------------------------------------------------------------------------------- /tests/barliman-comparison/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/README.md -------------------------------------------------------------------------------- /tests/barliman-comparison/barliman-comparison.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/barliman-comparison.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/challenge-7.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/challenge-7.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/chez-load-interp.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/chez-load-interp.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/evalo-optimized.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/evalo-optimized.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/evalo-standard.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/evalo-standard.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/mk/arithmetic.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/mk/arithmetic.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/mk/mk.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/mk/mk.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/mk/test-check.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/mk/test-check.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/test-fib-aps-synth.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/test-fib-aps-synth.scm -------------------------------------------------------------------------------- /tests/barliman-comparison/test-proofo.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/barliman-comparison/test-proofo.scm -------------------------------------------------------------------------------- /tests/bench-paper.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/bench-paper.rkt -------------------------------------------------------------------------------- /tests/bench-rel.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/bench-rel.rkt -------------------------------------------------------------------------------- /tests/doc-bench.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/doc-bench.rkt -------------------------------------------------------------------------------- /tests/doc-noto.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/doc-noto.rkt -------------------------------------------------------------------------------- /tests/doc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/doc.rkt -------------------------------------------------------------------------------- /tests/full-infer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/full-infer.rkt -------------------------------------------------------------------------------- /tests/graphs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/graphs.rkt -------------------------------------------------------------------------------- /tests/infer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/infer.rkt -------------------------------------------------------------------------------- /tests/interp-doc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/interp-doc.rkt -------------------------------------------------------------------------------- /tests/interpreter/basics.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/interpreter/basics.rkt -------------------------------------------------------------------------------- /tests/interpreter/lambda-backwards.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/interpreter/lambda-backwards.rkt -------------------------------------------------------------------------------- /tests/interpreter/letrec-cross-stage.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/interpreter/letrec-cross-stage.rkt -------------------------------------------------------------------------------- /tests/interpreter/or-interp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/interpreter/or-interp.rkt -------------------------------------------------------------------------------- /tests/interpreter/staged-apply-letrec.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/interpreter/staged-apply-letrec.rkt -------------------------------------------------------------------------------- /tests/known-bugs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/known-bugs.rkt -------------------------------------------------------------------------------- /tests/language/basics.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/language/basics.rkt -------------------------------------------------------------------------------- /tests/language/cross-stage-persistence.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/language/cross-stage-persistence.rkt -------------------------------------------------------------------------------- /tests/language/fallback.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/language/fallback.rkt -------------------------------------------------------------------------------- /tests/language/gather.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/language/gather.rkt -------------------------------------------------------------------------------- /tests/language/multistage.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/language/multistage.rkt -------------------------------------------------------------------------------- /tests/language/nontermination.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/language/nontermination.rkt -------------------------------------------------------------------------------- /tests/language/partial-apply.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/language/partial-apply.rkt -------------------------------------------------------------------------------- /tests/or-interp-unstaged.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/or-interp-unstaged.rkt -------------------------------------------------------------------------------- /tests/or-interp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/or-interp.ml -------------------------------------------------------------------------------- /tests/or-interp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/or-interp.rkt -------------------------------------------------------------------------------- /tests/ordecls.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/ordecls.ml -------------------------------------------------------------------------------- /tests/synth-task-macros-backwards.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/synth-task-macros-backwards.rkt -------------------------------------------------------------------------------- /tests/synth-task-macros-synth-context.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/tests/synth-task-macros-synth-context.rkt -------------------------------------------------------------------------------- /unstaged-interp.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/namin/staged-miniKanren/HEAD/unstaged-interp.scm --------------------------------------------------------------------------------