LICENSE
MANIFEST.in
README.md
gama_ai.py
gama_cli.py
gama_doctor.py
gama_fmt.py
gama_ir.py
gama_ledger.py
gama_lsp.py
gama_mail.py
gama_registry.py
gama_registry_server.py
gamal2.py
pyproject.toml
release.py
examples/arithmetic.gm
examples/filter.gm
examples/function.gm
examples/hello.gm
examples/if.gm
examples/invoice.gm
examples/lib.gm
examples/memory.gm
examples/proof.gm
examples/sum.gm
examples/with_import.gm
gama_l.egg-info/PKG-INFO
gama_l.egg-info/SOURCES.txt
gama_l.egg-info/dependency_links.txt
gama_l.egg-info/entry_points.txt
gama_l.egg-info/top_level.txt
tests/test_ai.py
tests/test_alias_enums.py
tests/test_benchmark.py
tests/test_bounds.py
tests/test_builtins.py
tests/test_cli.py
tests/test_conformance.py
tests/test_dist.py
tests/test_doctor.py
tests/test_effect_inference.py
tests/test_enums.py
tests/test_export_renames.py
tests/test_exports.py
tests/test_expr_steps.py
tests/test_firstclass.py
tests/test_fmt_ast.py
tests/test_fmt_canonical.py
tests/test_fmt_cli.py
tests/test_fmt_try.py
tests/test_fmt_wrap.py
tests/test_fuzz.py
tests/test_fuzz2.py
tests/test_fuzz3.py
tests/test_fuzz4.py
tests/test_fuzz5.py
tests/test_fuzz6.py
tests/test_fuzz7.py
tests/test_fuzz8.py
tests/test_fuzz9.py
tests/test_generic_aliases.py
tests/test_generic_bounds.py
tests/test_generic_enums.py
tests/test_generic_lambdas.py
tests/test_generic_records.py
tests/test_generics.py
tests/test_intent_lease.py
tests/test_intersection_bounds.py
tests/test_ir.py
tests/test_ir_cli.py
tests/test_ir_firstclass.py
tests/test_ir_host.py
tests/test_ir_imports.py
tests/test_ir_limits.py
tests/test_ir_namespaces.py
tests/test_ir_payload_enums.py
tests/test_ir_pipe.py
tests/test_ir_prove.py
tests/test_ir_record_inheritance.py
tests/test_ir_record_methods.py
tests/test_ir_record_update.py
tests/test_ir_record_with.py
tests/test_ir_records_enums.py
tests/test_ir_subset.py
tests/test_ir_try.py
tests/test_lambdas.py
tests/test_ledger_tool.py
tests/test_limits.py
tests/test_list_patterns_guards.py
tests/test_loops.py
tests/test_lsp_actions.py
tests/test_lsp_aliases_reexports.py
tests/test_lsp_diagnostics.py
tests/test_lsp_edit.py
tests/test_lsp_exports.py
tests/test_lsp_features.py
tests/test_lsp_generic_union_aliases.py
tests/test_lsp_generics.py
tests/test_lsp_inferred.py
tests/test_lsp_inheritance.py
tests/test_lsp_namespaces.py
tests/test_lsp_nav.py
tests/test_lsp_nav_members.py
tests/test_lsp_nav_records_enums.py
tests/test_lsp_patterns.py
tests/test_lsp_record_methods.py
tests/test_lsp_record_with.py
tests/test_lsp_records_enums.py
tests/test_lsp_robust.py
tests/test_lsp_semantic.py
tests/test_mail.py
tests/test_multipayload_enums.py
tests/test_namespaces.py
tests/test_nested_with.py
tests/test_network_security.py
tests/test_payload_enums.py
tests/test_pkg_git.py
tests/test_proof_ledger.py
tests/test_record_inheritance.py
tests/test_record_methods.py
tests/test_record_patterns.py
tests/test_record_static.py
tests/test_record_update.py
tests/test_record_with.py
tests/test_records.py
tests/test_registry.py
tests/test_registry_http.py
tests/test_release.py
tests/test_release_safety.py
tests/test_result_match.py
tests/test_return_inference.py
tests/test_selective_reexports.py
tests/test_spec_syntax.py
tests/test_sql_write.py
tests/test_stdlib.py
tests/test_steps.py
tests/test_structural_subtyping.py
tests/test_try.py
tests/test_type_aliases.py
tests/test_type_args.py
tests/test_union_aliases.py
tests/test_union_bounds.py
tests/test_v2.py