LICENSE
MANIFEST.in
README.md
pyproject.toml
docs/compiler-architecture.md
docs/determinism.md
docs/language.md
docs/proof-system.md
examples/hello.rlang
examples/simple.rlang
rlang/__init__.py
rlang/bor/__init__.py
rlang/bor/bridge.py
rlang/bor/crypto.py
rlang/bor/proofs.py
rlang/canonical/__init__.py
rlang/canonical/builder.py
rlang/canonical/primary_ir.py
rlang/cli/__init__.py
rlang/cli/rlangc.py
rlang/emitter/__init__.py
rlang/emitter/emitter.py
rlang/ir/__init__.py
rlang/ir/model.py
rlang/lexer/__init__.py
rlang/lexer/tokenizer.py
rlang/lexer/tokens.py
rlang/lowering/__init__.py
rlang/lowering/lowering.py
rlang/parser/__init__.py
rlang/parser/ast.py
rlang/parser/parser.py
rlang/semantic/__init__.py
rlang/semantic/resolver.py
rlang/semantic/symbols.py
rlang/types/__init__.py
rlang/types/type_checker.py
rlang/types/type_system.py
rlang/utils/__init__.py
rlang/utils/canonical_json.py
rlang_compiler.egg-info/PKG-INFO
rlang_compiler.egg-info/SOURCES.txt
rlang_compiler.egg-info/dependency_links.txt
rlang_compiler.egg-info/entry_points.txt
rlang_compiler.egg-info/requires.txt
rlang_compiler.egg-info/top_level.txt
summaries/phase_10_proof_bundles.md
summaries/phase_10_proof_bundles_content.md
summaries/phase_11_bor_crypto.md
summaries/phase_11_bor_crypto_content.md
summaries/phase_12_bor_cli_compat.md
summaries/phase_12_bor_cli_compat_content.md
summaries/phase_1___lexing.md
summaries/phase_1_lexing_content.md
summaries/phase_2___parsing.md
summaries/phase_2_parsing_content.md
summaries/phase_3___symbol_resolution.md
summaries/phase_3_symbol_resolution_content.md
summaries/phase_4___type_checking.md
summaries/phase_4_type_checking_content.md
summaries/phase_5___lowering_to_ir.md
summaries/phase_5_lowering_content.md
summaries/phase_6___primary_ir.md
summaries/phase_6_primary_ir_content.md
summaries/phase_7___emission.md
summaries/phase_7_emission_content.md
summaries/phase_8___cli_integration.md
summaries/phase_8_cli_content.md
summaries/phase_9_bor_bridge.md
summaries/phase_9_bor_bridge_content.md
tests/test_base.py
tests/test_bor_bridge.py
tests/test_bor_cli_compat.py
tests/test_bor_crypto.py
tests/test_branch_determinism.py
tests/test_cli.py
tests/test_emitter.py
tests/test_lexer.py
tests/test_lowering.py
tests/test_parser.py
tests/test_primary_ir.py
tests/test_proofs.py
tests/test_resolver.py
tests/test_type_checker.py