LICENSE
README.md
pyproject.toml
bootstrap/__init__.py
bootstrap/ast.py
bootstrap/bplan_deps.py
bootstrap/build.py
bootstrap/build_prelude.py
bootstrap/codegen.py
bootstrap/emit_pla.py
bootstrap/emit_seed.py
bootstrap/exhaustiveness.py
bootstrap/glass_ir.py
bootstrap/glass_ir_debug.py
bootstrap/ide.py
bootstrap/jupyter_kernel.py
bootstrap/lexer.py
bootstrap/mcp_server.py
bootstrap/parser.py
bootstrap/pin.py
bootstrap/render_demo.py
bootstrap/repl.py
bootstrap/rplan_deps.py
bootstrap/scope.py
bootstrap/typecheck.py
bootstrap/value_render.py
dev/__init__.py
dev/harness/__init__.py
dev/harness/bplan.py
dev/harness/eval.py
dev/harness/marduk.py
dev/harness/pin_store.py
dev/harness/plan.py
dev/harness/run.py
dev/harness/seed.py
gallowglass_kernel/__init__.py
gallowglass_kernel/__main__.py
gallowglass_kernel/_cli.py
gallowglass_kernel.egg-info/PKG-INFO
gallowglass_kernel.egg-info/SOURCES.txt
gallowglass_kernel.egg-info/dependency_links.txt
gallowglass_kernel.egg-info/entry_points.txt
gallowglass_kernel.egg-info/requires.txt
gallowglass_kernel.egg-info/top_level.txt
prelude/__init__.py
prelude/src/__init__.py
prelude/src/Core/Bool.gls
prelude/src/Core/Combinators.gls
prelude/src/Core/List.gls
prelude/src/Core/Nat.gls
prelude/src/Core/Option.gls
prelude/src/Core/Pair.gls
prelude/src/Core/Result.gls
prelude/src/Core/Text.gls