├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CONTRIBUTING.md ├── GUARD_REFINEMENT_TODOS.md ├── IMPLEMENTATION_SUMMARY.md ├── LICENSE ├── Makefile ├── README.md ├── SITE_SUMMARY.md ├── ShowDemo13Simple.dis ├── TODO-2025-11-24.md ├── TODO.md ├── WARP.md ├── cure ├── cure-lsp ├── cure-lsp.sh ├── cure-mcp ├── cure-mcp-wrapper.sh ├── docs ├── API_REFERENCE.md ├── CLI_INTEGRATION_STATUS.md ├── CLI_USAGE.md ├── CODEGEN_ANALYSIS_2025-11-25.md ├── CODEGEN_INVESTIGATION_SUMMARY.md ├── CONTRIBUTING.md ├── CURE_SYNTAX_GUIDE.md ├── CURE_ULTIMATE_DESCRIPTION.md ├── DEV │ ├── ERROR_LOCATION_TRACKING.md │ ├── FSM_COMPILATION_COMPLETE.md │ ├── FSM_COMPILATION_README.md │ ├── FSM_IMPLEMENTATION_COMPLETE.md │ ├── FSM_IMPLEMENTATION_SUMMARY.md │ ├── FSM_POLISH_SUMMARY.md │ ├── LSP_DIAGNOSTIC_UPDATE_FIX.md │ ├── LSP_LOCATION_VALIDATION.md │ ├── LSP_TYPE_HOLE_REMOTE_CALL_IMPLEMENTATION.md │ ├── PERFORMANCE_REGRESSION_ANALYSIS.md │ ├── PIPE_OPERATOR_IMPLEMENTATION.md │ ├── PIPE_OPERATOR_RESULT_HANDLING.md │ ├── POLYMORHISM_IMPLEMENTATION_SUMMARY.md │ ├── POLYMORPHISM.md │ ├── README.md │ ├── RECORD_OPERATIONS_IMPLEMENTATION.md │ ├── TYPECLASS_COMPLETION_PLAN.md │ ├── TYPECLASS_IMPLEMENTATION.md │ ├── TYPECLASS_IMPLEMENTATION_PLAN.md │ ├── TYPECLASS_IMPLEMENTATION_STATUS.md │ └── TYPECLASS_RESOLUTION_SUMMARY.md ├── DOCUMENTATION_UPDATE_STATUS.md ├── EDITOR_SETUP.md ├── FEATURE_REFERENCE.md ├── FSM_API_DESIGN.md ├── FSM_USAGE.md ├── FUNCTION_TYPES.md ├── LAMBDA_EXPRESSIONS_STATUS.md ├── LAMBDA_IMPROVEMENTS_2025_11_24.md ├── LANGUAGE_SPEC.md ├── LEXER_ERROR_FORMAT.md ├── LSP_MCP_UPDATE_2025-11-26.md ├── LSP_SMT_USER_GUIDE.md ├── MCP_INTEGRATION.md ├── MCP_LSP_ROBUSTNESS_ANALYSIS.md ├── MCP_TODO_INTEGRATION.md ├── PIPE_OPERATOR.md ├── PROJECT_OVERVIEW.md ├── REFINEMENT_PARSER_RUNTIME_STATUS.md ├── REFINEMENT_TYPES_STATUS.md ├── REFINEMENT_TYPES_VERIFICATION_REPORT.md ├── SHOW_TYPECLASS.md ├── SHOW_TYPECLASS_README.md ├── SMT_QUICK_REFERENCE.md ├── SMT_SOLVER_ADVANCED.md ├── SMT_SOLVER_INSTALLATION.md ├── STD_SUMMARY.md ├── TEST_COVERAGE_2025-11-24.md ├── TODO_INTEGRATION_VALIDATION.md ├── TODO_REFINEMENT_TYPE_SYNTAX.md ├── TROUBLESHOOTING.md ├── TUPLE_PATTERN_MATCHING_STATUS.md ├── TYPECLASS_GUIDE.md ├── TYPECLASS_IMPLEMENTATION.md ├── TYPECLASS_IMPLEMENTATION_COMPLETE.md ├── TYPECLASS_OPERATOR_SYNTAX.md ├── TYPECLASS_RESOLUTION.md ├── TYPECLASS_SUMMARY.md ├── TYPE_HOLES_GUIDE.md ├── TYPE_HOLES_QUICKSTART.md ├── TYPE_SYSTEM.md ├── TYPE_SYSTEM_ANALYSIS_2025-11-25.md ├── TYPE_SYSTEM_INVESTIGATION_SUMMARY.md ├── VECTOR_LITERALS.md ├── WELCOME.md ├── WHY_CURE.md ├── WHY_SMT.md ├── Z3_USER_GUIDE.md ├── export_typeclasses.md ├── lsp-melquiades-operator-support.md ├── pipe_operator_status.md ├── smt_simplification.md ├── typeclass_codegen_enhancement.md ├── typeclass_dispatch_design.md ├── typeclass_full_compilation_success.md ├── typeclass_implementation_progress.md ├── typeclass_import_system.md ├── typeclass_session_complete_2024-11-24.md ├── typeclass_session_summary_2024-11-24.md ├── typeclass_status.md └── typeclass_three_working_2024-11-24.md ├── erlang_ls.config ├── examples ├── 01_list_basics.cure ├── 01_vector_basics.cure ├── 02_result_handling.cure ├── 03_option_type.cure ├── 04_pattern_guards.cure ├── 05_function_guards.cure ├── 05_recursion.cure ├── 06_comprehensive_guards_demo.cure ├── 06_fsm_traffic_light.cure ├── 06_fsm_traffic_light_enhanced.cure ├── 07_FSM_VERIFICATION_KNOWN_ISSUE.md ├── 07_fsm_verification.cure ├── 07_refinement_types_demo.cure ├── 08_typeclasses.cure ├── 09_derive.cure ├── 10_generic_algorithms.cure ├── 11_advanced_typeclasses.cure ├── 12_show_typeclass.cure ├── 13_show.cure ├── 13_show_simple.cure ├── 14_pipe.cure ├── 15_records_comprehensive.cure ├── 16_record_updates_demo.cure ├── 17_list_access_functions.cure ├── 18_refinement_types_advanced.cure ├── 19_refinement_verification.cure ├── 20_refinement_type_aliases.cure ├── 21_refinement_test_issues.cure ├── 22_lambda_expressions.cure ├── 23_tuple_patterns.cure ├── EXAMPLES_SUMMARY.md ├── QUICK_REFERENCE.md ├── README.md ├── README_TRAFFIC_LIGHT_ENHANCED.md ├── README_simple_pipe.md ├── Z3_INTEGRATION_README.md ├── compile_pipe_example.sh ├── melquiades_demo.cure ├── profile_test.cure ├── profile_with_imports.cure ├── run_06_fsm.sh ├── run_06_fsm_enhanced.sh ├── show_demo_working.cure ├── show_final_demo.cure ├── show_test.cure ├── show_typeclass_demo.cure ├── simple_pipe_test.cure ├── smt_error_examples.cure ├── smt_simplify_example.erl ├── status-2025-11-23.md ├── test_function_type_paren.cure ├── test_function_types_SUCCESS.cure ├── test_functor.cure ├── test_functor_minimal.cure ├── test_show_import.cure ├── test_show_working.cure ├── type_holes_demo.cure ├── typeclass_export_demo.cure ├── typeclass_polymorphic_test.cure ├── typeclass_simple.cure ├── typeclass_simple_call.cure ├── vector_demo.cure └── z3_integration_demo.cure ├── guard_smt_phase4_test.beam ├── guard_type_integration_test.beam ├── lib ├── README.md ├── STDLIB_SUMMARY.md ├── std.cure ├── std │ ├── FSM_INTEGRATION.md │ ├── SHOW_README.md │ ├── core.cure │ ├── eq.cure │ ├── fsm.cure │ ├── io.cure │ ├── list.cure │ ├── math.cure │ ├── ord.cure │ ├── pair.cure │ ├── rec.cure │ ├── result.cure │ ├── show.cure │ ├── string.cure │ ├── system.cure │ ├── typeclasses.cure │ ├── typeclasses │ │ └── show.cure │ └── vector.cure └── typeclass_spec │ ├── README.md │ ├── eq.cure │ ├── functor.cure │ ├── show.cure │ └── typeclass.cure ├── lsp ├── .gitkeep ├── CHANGELOG_LSP.md ├── IMPLEMENTATION_SUMMARY.md ├── INTEGRATION_COMPLETE.md ├── LSP_FEATURES.md ├── LSP_SMT_INTEGRATION.md ├── MODERNIZATION_SUMMARY.md ├── NEOVIM_SETUP.md ├── QUICKSTART.md ├── QUICKSTART_ENHANCED.md ├── QUICK_REFERENCE.md ├── README.md ├── TEST_IN_NEOVIM.md ├── WORKING_FEATURES.md ├── cure_lsp.erl ├── cure_lsp_analyzer.beam ├── cure_lsp_analyzer.erl ├── cure_lsp_document.erl ├── cure_lsp_enhanced.erl ├── cure_lsp_profiler.erl ├── cure_lsp_smt.erl ├── cure_lsp_symbols.erl ├── cure_lsp_type_holes.erl ├── nvim-config-example.lua ├── test_analyzer.erl ├── test_cure_lsp_comprehensive.erl ├── test_example.cure └── test_lsp.sh ├── marketing ├── cure-habr.en.md └── cure-habr.ru.md ├── mcp ├── ARCHITECTURE.md ├── LUNARVIM_INTEGRATION.md ├── MCP_LUNARVIM_SETUP.md ├── QUICKSTART.md ├── README.md ├── claude_config_template.json ├── cure_mcp_server.erl ├── cure_mcp_user.erl ├── package.json ├── test_mcp.sh └── test_resources.sh ├── media ├── logo-500x500-nobg.png ├── logo-500x500.png └── logo-new-full.png ├── rebar.config ├── rebar.lock ├── run_cure.sh ├── run_turnstile.sh ├── scripts ├── generate_type_signatures.escript ├── profile_compile.erl ├── profile_detailed.erl ├── test_lsp_changes.sh └── test_show.erl ├── site ├── README.md ├── SYNTAX_HIGHLIGHTING.md ├── api │ ├── 404.html │ ├── api-reference.html │ ├── api_reference.html │ ├── cli_usage.html │ ├── cure.epub │ ├── cure_action_compiler.html │ ├── cure_ast.html │ ├── cure_beam_compiler.html │ ├── cure_cli.html │ ├── cure_codegen.html │ ├── cure_compile_wrapper.html │ ├── cure_dependent_parser.html │ ├── cure_dependent_types.html │ ├── cure_derive.html │ ├── cure_error_reporter.html │ ├── cure_fsm_action_compiler.html │ ├── cure_fsm_builtins.html │ ├── cure_fsm_cure_api.html │ ├── cure_fsm_monitor.html │ ├── cure_fsm_runtime.html │ ├── cure_fsm_typesafety.html │ ├── cure_fsm_verifier.html │ ├── cure_guard_codegen.html │ ├── cure_guard_compiler.html │ ├── cure_guard_optimizer.html │ ├── cure_guard_refinement.html │ ├── cure_guard_smt.html │ ├── cure_instance_registry.html │ ├── cure_lexer.html │ ├── cure_lsp_code_actions.html │ ├── cure_lsp_diagnostics.html │ ├── cure_lsp_performance.html │ ├── cure_lsp_server.html │ ├── cure_lsp_smt.html │ ├── cure_lsp_type_holes.html │ ├── cure_parser.html │ ├── cure_pattern_checker.html │ ├── cure_pattern_encoder.html │ ├── cure_pipe_optimizer.html │ ├── cure_profiler.html │ ├── cure_refinement_types.html │ ├── cure_runtime.html │ ├── cure_show_native.html │ ├── cure_signature_generator.html │ ├── cure_smt_array.html │ ├── cure_smt_parser.html │ ├── cure_smt_process.html │ ├── cure_smt_solver.html │ ├── cure_smt_translator.html │ ├── cure_std.html │ ├── cure_stdlib_signatures.html │ ├── cure_string_native.html │ ├── cure_syntax_guide.html │ ├── cure_type_optimizer.html │ ├── cure_typechecker.html │ ├── cure_typeclass.html │ ├── cure_typeclass_codegen.html │ ├── cure_typeclass_dispatch.html │ ├── cure_types.html │ ├── cure_ultimate_description.html │ ├── cure_utils.html │ ├── derive_guide.html │ ├── dist │ │ ├── handlebars.runtime-NWIB6V2M.js │ │ ├── handlebars.templates-K7URE6B4.js │ │ ├── html-PVRIOB7F.js │ │ ├── html-erlang-4IXSOGMD.css │ │ ├── inconsolata-latin-400-normal-RGKDDNDD.woff2 │ │ ├── inconsolata-latin-700-normal-DTS2D7TO.woff2 │ │ ├── inconsolata-latin-ext-400-normal-K7HVGTP7.woff2 │ │ ├── inconsolata-latin-ext-700-normal-4MPBLFZC.woff2 │ │ ├── inconsolata-vietnamese-400-normal-IGQPHHJH.woff2 │ │ ├── inconsolata-vietnamese-700-normal-LHEGSN35.woff2 │ │ ├── lato-latin-300-normal-YUMVEFOL.woff2 │ │ ├── lato-latin-400-normal-W7754I4D.woff2 │ │ ├── lato-latin-700-normal-2XVSBPG4.woff2 │ │ ├── lato-latin-ext-300-normal-VPGGJKJL.woff2 │ │ ├── lato-latin-ext-400-normal-N27NCBWW.woff2 │ │ ├── lato-latin-ext-700-normal-Q2L5DVMW.woff2 │ │ ├── remixicon-NKANDIL5.woff2 │ │ ├── search_data-0AE26856.js │ │ ├── search_data-1297CAE7.js │ │ ├── search_data-4744314D.js │ │ ├── search_data-57B42CAE.js │ │ ├── search_data-63CBE664.js │ │ ├── search_data-6DAA9024.js │ │ ├── search_data-80712D14.js │ │ ├── search_data-8EC38731.js │ │ ├── search_data-95B16BFC.js │ │ ├── search_data-D152DBE4.js │ │ ├── search_data-E0319840.js │ │ ├── search_data-F71F3AC2.js │ │ ├── sidebar_items-0B854C3B.js │ │ ├── sidebar_items-28313B55.js │ │ ├── sidebar_items-28C2A753.js │ │ ├── sidebar_items-3ABA2D2B.js │ │ ├── sidebar_items-48D43E9B.js │ │ ├── sidebar_items-C51205A4.js │ │ ├── sidebar_items-DAE95399.js │ │ └── sidebar_items-DC6CD34D.js │ ├── dollar_operator_fix.html │ ├── editor_setup.html │ ├── feature_reference.html │ ├── fsm_api_design.html │ ├── fsm_implementation_summary.html │ ├── fsm_usage.html │ ├── function_types.html │ ├── hkt_phase1_complete.html │ ├── index.html │ ├── instance_dispatch_phase2_complete.html │ ├── language_spec.html │ ├── lexer_error_format.html │ ├── lsp_smt_user_guide.html │ ├── lsp_status.html │ ├── mcp_integration.html │ ├── pipe_operator.html │ ├── pipe_operator_completed.html │ ├── pipe_operator_implementation.html │ ├── pipe_operator_result_handling.html │ ├── project_overview.html │ ├── readme.html │ ├── record_operations_implementation.html │ ├── search.html │ ├── smt_quick_reference.html │ ├── smt_solver_installation.html │ ├── std_summary.html │ ├── type_system.html │ ├── typeclass_guide.html │ ├── typeclass_implementation.html │ ├── typeclass_operator_syntax.html │ ├── typeclass_summary.html │ ├── why_cure.html │ └── why_smt.html ├── build_site.sh ├── convert_docs.py ├── css │ ├── cure-theme.css │ └── style.css ├── docs.html ├── docs │ ├── api-reference.html │ ├── cli-integration-status.html │ ├── cli-usage.html │ ├── codegen-analysis-2025-11-25.html │ ├── codegen-investigation-summary.html │ ├── complete-status-report.html │ ├── contributing.html │ ├── cure-syntax-guide.html │ ├── cure-ultimate-description.html │ ├── dependent-types-design.html │ ├── dependent-types-guide.html │ ├── derive-guide.html │ ├── documentation-update-status.html │ ├── dollar-operator-fix.html │ ├── editor-setup.html │ ├── error-location-tracking.html │ ├── export-typeclasses.html │ ├── feature-reference.html │ ├── fsm-api-design.html │ ├── fsm-compilation-complete.html │ ├── fsm-compilation-readme.html │ ├── fsm-implementation-complete.html │ ├── fsm-implementation-summary.html │ ├── fsm-polish-summary.html │ ├── fsm-usage.html │ ├── function-types.html │ ├── hkt-phase1-complete.html │ ├── implementation-complete.html │ ├── instance-dispatch-phase2-complete.html │ ├── integration-status-report.html │ ├── lambda-expressions-status.html │ ├── lambda-improvements-2025-11-24.html │ ├── language-spec.html │ ├── lexer-error-format.html │ ├── lsp-diagnostic-update-fix.html │ ├── lsp-location-validation.html │ ├── lsp-mcp-update-2025-11-26.html │ ├── lsp-smt-user-guide.html │ ├── lsp-status.html │ ├── lsp-type-hole-code-action-fix.html │ ├── lsp-type-hole-position-fix.html │ ├── lsp-type-hole-remote-call-fix.html │ ├── lsp-type-hole-remote-call-implementation.html │ ├── make-lsp-fix.html │ ├── mcp-integration.html │ ├── mcp-lsp-robustness-analysis.html │ ├── mcp-todo-integration.html │ ├── phase-4-complete.html │ ├── phase2-smt-completion-report.html │ ├── phase3-smt-complete-report.html │ ├── phase3-smt-completion-summary.html │ ├── phase4-1-completion-report.html │ ├── phase4-2-completion-report.html │ ├── pipe-operator-completed.html │ ├── pipe-operator-implementation.html │ ├── pipe-operator-result-handling.html │ ├── pipe-operator-status.html │ ├── pipe-operator.html │ ├── project-completion-summary.html │ ├── project-overview.html │ ├── record-operations-implementation.html │ ├── refinement-parser-runtime-status.html │ ├── refinement-types-status.html │ ├── refinement-types-verification-report.html │ ├── show-quick-reference.html │ ├── show-typeclass-readme.html │ ├── show-typeclass.html │ ├── smt-phases-4-6-roadmap.html │ ├── smt-quick-reference.html │ ├── smt-simplification.html │ ├── smt-solver-advanced.html │ ├── smt-solver-installation.html │ ├── std-summary.html │ ├── test-coverage-2025-11-24.html │ ├── todo-integration-validation.html │ ├── todo-refinement-type-syntax.html │ ├── traffic-light-enhanced-summary.html │ ├── troubleshooting.html │ ├── tuple-pattern-matching-status.html │ ├── type-holes-guide.html │ ├── type-holes-quickstart.html │ ├── type-system-analysis-2025-11-25.html │ ├── type-system-investigation-summary.html │ ├── type-system.html │ ├── typeclass-codegen-enhancement.html │ ├── typeclass-dispatch-design.html │ ├── typeclass-full-compilation-success.html │ ├── typeclass-guide.html │ ├── typeclass-implementation-complete.html │ ├── typeclass-implementation-progress.html │ ├── typeclass-implementation.html │ ├── typeclass-import-system.html │ ├── typeclass-operator-syntax.html │ ├── typeclass-resolution.html │ ├── typeclass-session-complete-2024-11-24.html │ ├── typeclass-session-summary-2024-11-24.html │ ├── typeclass-status.html │ ├── typeclass-summary.html │ ├── typeclass-three-working-2024-11-24.html │ ├── vector-literals.html │ ├── welcome.html │ ├── why-cure.html │ ├── why-smt.html │ ├── z3-integration-complete.html │ ├── z3-integration-plan.html │ ├── z3-integration-status.html │ ├── z3-phase-1-2-complete.html │ ├── z3-phase-3-5-roadmap.html │ ├── z3-phase-3-complete.html │ ├── z3-phase-3-progress.html │ ├── z3-phase-4-complete.html │ ├── z3-phase-4-lsp-integration.html │ └── z3-user-guide.html ├── index.html ├── js │ └── cure-language.js ├── media │ ├── ad.png │ ├── logo-128x128.png │ ├── logo-500x500-nobg.png │ ├── logo-500x500.png │ └── logo-new-full.png ├── requirements.txt ├── test-highlighting.html └── update_footer.py ├── src ├── codegen │ ├── cure_action_compiler.erl │ ├── cure_beam_compiler.erl │ ├── cure_beam_compiler.hrl │ ├── cure_codegen.erl │ ├── cure_codegen.hrl │ ├── cure_compile_wrapper.erl │ ├── cure_fsm_action_compiler.erl │ ├── cure_guard_codegen.erl │ ├── cure_guard_compiler.erl │ └── cure_typeclass_codegen.erl ├── cure.app.src ├── cure_cli.erl ├── cure_utils.erl ├── fsm │ ├── cure_fsm_builtins.erl │ ├── cure_fsm_cure_api.erl │ ├── cure_fsm_monitor.erl │ ├── cure_fsm_runtime.erl │ ├── cure_fsm_runtime.hrl │ └── cure_fsm_verifier.erl ├── lexer │ └── cure_lexer.erl ├── lsp │ ├── cure_lsp_code_actions.erl │ ├── cure_lsp_diagnostics.erl │ ├── cure_lsp_performance.erl │ ├── cure_lsp_server.erl │ ├── cure_lsp_smt.erl │ └── cure_lsp_type_holes.erl ├── parser │ ├── cure_ast.erl │ ├── cure_ast.hrl │ ├── cure_dependent_parser.erl │ ├── cure_error_reporter.erl │ └── cure_parser.erl ├── profiler │ └── cure_profiler.erl ├── runtime │ ├── cure_instance_registry.erl │ ├── cure_runtime.erl │ ├── cure_show_native.erl │ ├── cure_std.erl │ ├── cure_string_native.erl │ └── cure_typeclass_dispatch.erl ├── smt │ ├── cure_guard_optimizer.erl │ ├── cure_pattern_encoder.erl │ ├── cure_smt_array.erl │ ├── cure_smt_parser.erl │ ├── cure_smt_process.erl │ ├── cure_smt_solver.erl │ └── cure_smt_translator.erl ├── tools │ └── cure_signature_generator.erl └── types │ ├── cure_dependent_types.erl │ ├── cure_derive.erl │ ├── cure_fsm_typesafety.erl │ ├── cure_guard_optimizer.erl │ ├── cure_guard_refinement.erl │ ├── cure_guard_smt.erl │ ├── cure_pattern_checker.erl │ ├── cure_pipe_optimizer.erl │ ├── cure_refinement_types.erl │ ├── cure_refinement_types.hrl │ ├── cure_smt_solver.erl │ ├── cure_stdlib_signatures.erl │ ├── cure_type_optimizer.erl │ ├── cure_type_optimizer.hrl │ ├── cure_typechecker.erl │ ├── cure_typeclass.erl │ └── cure_types.erl ├── test-lsp.sh ├── test ├── STD_LIB_TESTS_README.md ├── action_compilation_test.erl ├── atom_bridge_test.erl ├── beam_generation_test.erl ├── check_exports.erl ├── cli_test_minimal.cure ├── cli_wrapper_comprehensive_test.erl ├── codegen_advanced_test.erl ├── codegen_simple_test.beam ├── codegen_simple_test.erl ├── codegen_test.erl ├── complex_constraints_test.erl ├── cure │ ├── test_and_operator.cure │ ├── test_arrow_type.cure │ ├── test_atom.cure │ ├── test_basic_list.cure │ ├── test_basic_vector.cure │ ├── test_constructor_calls.cure │ ├── test_constructor_with_arg.cure │ ├── test_core_partial.cure │ ├── test_defp.cure │ ├── test_defp_export_error.cure │ ├── test_diff_length.cure │ ├── test_direct_call.cure │ ├── test_direct_same.cure │ ├── test_function_parsing.cure │ ├── test_function_type.cure │ ├── test_import_syntax.cure │ ├── test_lambda.cure │ ├── test_lambda_syntax.cure │ ├── test_let.cure │ ├── test_match.cure │ ├── test_match_constructor.cure │ ├── test_math_minimal.cure │ ├── test_minimal_list.cure │ ├── test_mixed_syntax.cure │ ├── test_multiple.cure │ ├── test_nested_if.cure │ ├── test_not.cure │ ├── test_num_type.cure │ ├── test_ordering.cure │ ├── test_parsing_if.cure │ ├── test_parsing_issue.cure │ ├── test_print.cure │ ├── test_print_with_import.cure │ ├── test_same_length.cure │ ├── test_simple_cons.cure │ ├── test_simple_constructor.cure │ ├── test_simple_if.cure │ ├── test_simple_module.cure │ ├── test_std_partial.cure │ ├── test_std_syntax.cure │ ├── test_stdlib_complete.cure │ ├── test_stdlib_simple.cure │ ├── test_union_typedef.cure │ └── test_vector_mismatch.cure ├── cure_cli_integration_test.erl ├── cure_cli_stdlib_imports_test.erl ├── cure_wrapper_script_test.erl ├── debug_match.cure ├── dependent_parser_test.erl ├── dependent_types_advanced_test.erl ├── dependent_types_comprehensive_test.erl ├── dependent_types_examples_test.erl ├── dependent_types_test.erl ├── enhanced_parser_test.erl ├── enhanced_type_inference_test.erl ├── eq_typeclass_test.erl ├── extended_syntax_test.erl ├── fsm_advanced_test.erl ├── fsm_compiler_test.erl ├── fsm_comprehensive_suite_test.erl ├── fsm_comprehensive_test.erl ├── fsm_enhanced_test.erl ├── fsm_guard_verification_demo.erl ├── fsm_handler_signature_test.erl ├── fsm_mermaid_compile_test.erl ├── fsm_performance_test.erl ├── fsm_simple_test.erl ├── fsm_test.erl ├── fsm_typecheck_test.erl ├── fsm_verification_compile_test.erl ├── fsm_verification_integration_test.erl ├── fsm_verification_test.erl ├── fsm_verifier_smt_test.erl ├── function_guards_test.erl ├── guard_compilation_test.erl ├── guard_optimization_test.erl ├── guard_optimizer_test.erl ├── guard_refinement_test.erl ├── guard_smt_phase4_test.erl ├── guard_type_integration_test.erl ├── higher_kinded_types_test.erl ├── inlining_test.erl ├── instance_dispatch_test.erl ├── integration_simple_test.erl ├── integration_test.erl ├── lambda_comprehensive_test.erl ├── lambda_simple_test.erl ├── let_expression_test.erl ├── lexer_test.erl ├── lsp_change_test.erl ├── lsp_fsm_integration_test.erl ├── lsp_integration_test.erl ├── lsp_melquiades_hover_test.erl ├── lsp_pattern_integration_test.erl ├── lsp_smt_code_actions_test.erl ├── lsp_smt_diagnostics_test.erl ├── lsp_smt_incremental_test.erl ├── lsp_smt_test.erl ├── match_comprehensive_test.cure ├── match_test.erl ├── melquiades_simple_test.erl ├── melquiades_test.erl ├── modulo_operator_test.beam ├── modulo_operator_test.erl ├── monomorphization_edge_cases_test.erl ├── monomorphization_simple_test.erl ├── monomorphization_test.erl ├── multi_clause_test.erl ├── multiclause_codegen_test.erl ├── multiclause_comprehensive_test.erl ├── multiclause_typecheck_test.erl ├── nat_type_test.erl ├── negative_number_test.beam ├── negative_number_test.erl ├── ord_typeclass_test.erl ├── pair_test.erl ├── parser_advanced_test.erl ├── parser_comprehensive_test.erl ├── parser_large_file_test.erl ├── parser_test.erl ├── pattern_compilation_test.erl ├── pattern_exhaustiveness_test.erl ├── pattern_match_body_compilation_test.erl ├── pattern_matching_advanced_test.erl ├── pattern_matching_edge_cases_test.erl ├── pattern_matching_integration_test.erl ├── pattern_synthesis_test.erl ├── performance_simple_test.erl ├── performance_test.erl ├── pipe_comprehensive_test.erl ├── pipe_operator_test.erl ├── pipe_optimizer_stats_test.erl ├── pipeline_behavior_test.erl ├── polymorphism_test.beam ├── polymorphism_test.erl ├── profile_guided_optimization_test.erl ├── record_operations_test.erl ├── record_type_inference_test.erl ├── recursive_type_tests.erl ├── recursive_types_test.erl ├── refinement_types_test.erl ├── remote_call_inference_test.cure ├── run_all_new_tests.erl ├── run_stdlib_loading_tests.sh ├── sexp_parser_integration_test.erl ├── show_beam_compilation_test.erl ├── show_instance_compilation_test.erl ├── show_module_test.erl ├── simple_match_test.cure ├── simple_pattern_test.erl ├── simple_pipe_test.erl ├── simple_recursive_test.erl ├── simple_types_test.erl ├── smt_array_test.erl ├── smt_nat_constraints_test.erl ├── smt_parser_test.erl ├── smt_process_test.erl ├── smt_refinement_integration_test.erl ├── smt_refinement_subtype_test.erl ├── smt_simplify_test.erl ├── smt_solver_integration_test.erl ├── smt_translator_extended_test.erl ├── smt_typechecker_test.erl ├── std_comprehensive_test.erl ├── std_core_test.erl ├── std_io_test.erl ├── std_list_length_function_test.erl ├── std_list_test.erl ├── std_math_test.erl ├── std_string_test.erl ├── stdlib_compilation_failure_test.erl ├── stdlib_compiler_test.erl ├── stdlib_comprehensive_test.erl ├── stdlib_loading_test.erl ├── stdlib_loading_test_README.md ├── stdlib_show_functions_test.erl ├── stdlib_test.erl ├── string_interpolation_test.beam ├── string_interpolation_test.erl ├── string_lexer_test.erl ├── string_test.erl ├── test_atom_runtime.erl ├── test_runner.erl ├── traffic_light_enhanced_test.erl ├── trait_system_test.beam ├── trait_system_test.erl ├── tuple_pattern_test.erl ├── type_constraints_test.erl ├── type_optimizer_test.erl ├── typeclass_codegen_test.erl ├── typeclass_derive_test.erl ├── typeclass_integration_test.erl ├── typeclass_method_resolution_test.erl ├── typeclass_parser_test.erl ├── typeclass_resolution_test.erl ├── types_hkt_test.beam ├── types_hkt_test.erl ├── types_simple_test.erl ├── types_test.erl ├── union_refinement_test.cure ├── utf8_lexer_error_test.beam ├── utf8_lexer_error_test.erl ├── vector_literal_test.erl ├── where_clause_test.erl └── z3_integration_comprehensive_test.erl ├── test_code_action.erl ├── test_codegen.erl ├── test_compile.erl ├── test_direct.erl ├── test_lsp_type_holes.erl ├── test_mcp.sh ├── test_mcp_tools.sh ├── test_selfcontained └── test_modern_cure.erl ├── test_type_holes.erl ├── test_typeclass_compile.erl ├── validate_fsm_examples.sh └── vicure ├── CHANGELOG.md ├── MODERNIZATION_SUMMARY.md ├── NEOVIM_PLUGIN.md ├── README.md ├── ftdetect └── cure.vim ├── indent └── cure.vim ├── syntax └── cure.vim ├── test_syntax.cure └── test_syntax_comprehensive.cure /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/.gitignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /GUARD_REFINEMENT_TODOS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/GUARD_REFINEMENT_TODOS.md -------------------------------------------------------------------------------- /IMPLEMENTATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/IMPLEMENTATION_SUMMARY.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/README.md -------------------------------------------------------------------------------- /SITE_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/SITE_SUMMARY.md -------------------------------------------------------------------------------- /ShowDemo13Simple.dis: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | -------------------------------------------------------------------------------- /TODO-2025-11-24.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/TODO-2025-11-24.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/TODO.md -------------------------------------------------------------------------------- /WARP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/WARP.md -------------------------------------------------------------------------------- /cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/cure -------------------------------------------------------------------------------- /cure-lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/cure-lsp -------------------------------------------------------------------------------- /cure-lsp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/cure-lsp.sh -------------------------------------------------------------------------------- /cure-mcp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/cure-mcp -------------------------------------------------------------------------------- /cure-mcp-wrapper.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/cure-mcp-wrapper.sh -------------------------------------------------------------------------------- /docs/API_REFERENCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/API_REFERENCE.md -------------------------------------------------------------------------------- /docs/CLI_INTEGRATION_STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/CLI_INTEGRATION_STATUS.md -------------------------------------------------------------------------------- /docs/CLI_USAGE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/CLI_USAGE.md -------------------------------------------------------------------------------- /docs/CODEGEN_ANALYSIS_2025-11-25.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/CODEGEN_ANALYSIS_2025-11-25.md -------------------------------------------------------------------------------- /docs/CODEGEN_INVESTIGATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/CODEGEN_INVESTIGATION_SUMMARY.md -------------------------------------------------------------------------------- /docs/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/CONTRIBUTING.md -------------------------------------------------------------------------------- /docs/CURE_SYNTAX_GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/CURE_SYNTAX_GUIDE.md -------------------------------------------------------------------------------- /docs/CURE_ULTIMATE_DESCRIPTION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/CURE_ULTIMATE_DESCRIPTION.md -------------------------------------------------------------------------------- /docs/DEV/ERROR_LOCATION_TRACKING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/ERROR_LOCATION_TRACKING.md -------------------------------------------------------------------------------- /docs/DEV/FSM_COMPILATION_COMPLETE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/FSM_COMPILATION_COMPLETE.md -------------------------------------------------------------------------------- /docs/DEV/FSM_COMPILATION_README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/FSM_COMPILATION_README.md -------------------------------------------------------------------------------- /docs/DEV/FSM_IMPLEMENTATION_COMPLETE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/FSM_IMPLEMENTATION_COMPLETE.md -------------------------------------------------------------------------------- /docs/DEV/FSM_IMPLEMENTATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/FSM_IMPLEMENTATION_SUMMARY.md -------------------------------------------------------------------------------- /docs/DEV/FSM_POLISH_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/FSM_POLISH_SUMMARY.md -------------------------------------------------------------------------------- /docs/DEV/LSP_DIAGNOSTIC_UPDATE_FIX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/LSP_DIAGNOSTIC_UPDATE_FIX.md -------------------------------------------------------------------------------- /docs/DEV/LSP_LOCATION_VALIDATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/LSP_LOCATION_VALIDATION.md -------------------------------------------------------------------------------- /docs/DEV/LSP_TYPE_HOLE_REMOTE_CALL_IMPLEMENTATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/LSP_TYPE_HOLE_REMOTE_CALL_IMPLEMENTATION.md -------------------------------------------------------------------------------- /docs/DEV/PERFORMANCE_REGRESSION_ANALYSIS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/PERFORMANCE_REGRESSION_ANALYSIS.md -------------------------------------------------------------------------------- /docs/DEV/PIPE_OPERATOR_IMPLEMENTATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/PIPE_OPERATOR_IMPLEMENTATION.md -------------------------------------------------------------------------------- /docs/DEV/PIPE_OPERATOR_RESULT_HANDLING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/PIPE_OPERATOR_RESULT_HANDLING.md -------------------------------------------------------------------------------- /docs/DEV/POLYMORHISM_IMPLEMENTATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/POLYMORHISM_IMPLEMENTATION_SUMMARY.md -------------------------------------------------------------------------------- /docs/DEV/POLYMORPHISM.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/POLYMORPHISM.md -------------------------------------------------------------------------------- /docs/DEV/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/README.md -------------------------------------------------------------------------------- /docs/DEV/RECORD_OPERATIONS_IMPLEMENTATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/RECORD_OPERATIONS_IMPLEMENTATION.md -------------------------------------------------------------------------------- /docs/DEV/TYPECLASS_COMPLETION_PLAN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/TYPECLASS_COMPLETION_PLAN.md -------------------------------------------------------------------------------- /docs/DEV/TYPECLASS_IMPLEMENTATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/TYPECLASS_IMPLEMENTATION.md -------------------------------------------------------------------------------- /docs/DEV/TYPECLASS_IMPLEMENTATION_PLAN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/TYPECLASS_IMPLEMENTATION_PLAN.md -------------------------------------------------------------------------------- /docs/DEV/TYPECLASS_IMPLEMENTATION_STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/TYPECLASS_IMPLEMENTATION_STATUS.md -------------------------------------------------------------------------------- /docs/DEV/TYPECLASS_RESOLUTION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DEV/TYPECLASS_RESOLUTION_SUMMARY.md -------------------------------------------------------------------------------- /docs/DOCUMENTATION_UPDATE_STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/DOCUMENTATION_UPDATE_STATUS.md -------------------------------------------------------------------------------- /docs/EDITOR_SETUP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/EDITOR_SETUP.md -------------------------------------------------------------------------------- /docs/FEATURE_REFERENCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/FEATURE_REFERENCE.md -------------------------------------------------------------------------------- /docs/FSM_API_DESIGN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/FSM_API_DESIGN.md -------------------------------------------------------------------------------- /docs/FSM_USAGE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/FSM_USAGE.md -------------------------------------------------------------------------------- /docs/FUNCTION_TYPES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/FUNCTION_TYPES.md -------------------------------------------------------------------------------- /docs/LAMBDA_EXPRESSIONS_STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/LAMBDA_EXPRESSIONS_STATUS.md -------------------------------------------------------------------------------- /docs/LAMBDA_IMPROVEMENTS_2025_11_24.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/LAMBDA_IMPROVEMENTS_2025_11_24.md -------------------------------------------------------------------------------- /docs/LANGUAGE_SPEC.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/LANGUAGE_SPEC.md -------------------------------------------------------------------------------- /docs/LEXER_ERROR_FORMAT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/LEXER_ERROR_FORMAT.md -------------------------------------------------------------------------------- /docs/LSP_MCP_UPDATE_2025-11-26.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/LSP_MCP_UPDATE_2025-11-26.md -------------------------------------------------------------------------------- /docs/LSP_SMT_USER_GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/LSP_SMT_USER_GUIDE.md -------------------------------------------------------------------------------- /docs/MCP_INTEGRATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/MCP_INTEGRATION.md -------------------------------------------------------------------------------- /docs/MCP_LSP_ROBUSTNESS_ANALYSIS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/MCP_LSP_ROBUSTNESS_ANALYSIS.md -------------------------------------------------------------------------------- /docs/MCP_TODO_INTEGRATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/MCP_TODO_INTEGRATION.md -------------------------------------------------------------------------------- /docs/PIPE_OPERATOR.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/PIPE_OPERATOR.md -------------------------------------------------------------------------------- /docs/PROJECT_OVERVIEW.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/PROJECT_OVERVIEW.md -------------------------------------------------------------------------------- /docs/REFINEMENT_PARSER_RUNTIME_STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/REFINEMENT_PARSER_RUNTIME_STATUS.md -------------------------------------------------------------------------------- /docs/REFINEMENT_TYPES_STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/REFINEMENT_TYPES_STATUS.md -------------------------------------------------------------------------------- /docs/REFINEMENT_TYPES_VERIFICATION_REPORT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/REFINEMENT_TYPES_VERIFICATION_REPORT.md -------------------------------------------------------------------------------- /docs/SHOW_TYPECLASS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/SHOW_TYPECLASS.md -------------------------------------------------------------------------------- /docs/SHOW_TYPECLASS_README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/SHOW_TYPECLASS_README.md -------------------------------------------------------------------------------- /docs/SMT_QUICK_REFERENCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/SMT_QUICK_REFERENCE.md -------------------------------------------------------------------------------- /docs/SMT_SOLVER_ADVANCED.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/SMT_SOLVER_ADVANCED.md -------------------------------------------------------------------------------- /docs/SMT_SOLVER_INSTALLATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/SMT_SOLVER_INSTALLATION.md -------------------------------------------------------------------------------- /docs/STD_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/STD_SUMMARY.md -------------------------------------------------------------------------------- /docs/TEST_COVERAGE_2025-11-24.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TEST_COVERAGE_2025-11-24.md -------------------------------------------------------------------------------- /docs/TODO_INTEGRATION_VALIDATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TODO_INTEGRATION_VALIDATION.md -------------------------------------------------------------------------------- /docs/TODO_REFINEMENT_TYPE_SYNTAX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TODO_REFINEMENT_TYPE_SYNTAX.md -------------------------------------------------------------------------------- /docs/TROUBLESHOOTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TROUBLESHOOTING.md -------------------------------------------------------------------------------- /docs/TUPLE_PATTERN_MATCHING_STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TUPLE_PATTERN_MATCHING_STATUS.md -------------------------------------------------------------------------------- /docs/TYPECLASS_GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPECLASS_GUIDE.md -------------------------------------------------------------------------------- /docs/TYPECLASS_IMPLEMENTATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPECLASS_IMPLEMENTATION.md -------------------------------------------------------------------------------- /docs/TYPECLASS_IMPLEMENTATION_COMPLETE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPECLASS_IMPLEMENTATION_COMPLETE.md -------------------------------------------------------------------------------- /docs/TYPECLASS_OPERATOR_SYNTAX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPECLASS_OPERATOR_SYNTAX.md -------------------------------------------------------------------------------- /docs/TYPECLASS_RESOLUTION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPECLASS_RESOLUTION.md -------------------------------------------------------------------------------- /docs/TYPECLASS_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPECLASS_SUMMARY.md -------------------------------------------------------------------------------- /docs/TYPE_HOLES_GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPE_HOLES_GUIDE.md -------------------------------------------------------------------------------- /docs/TYPE_HOLES_QUICKSTART.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPE_HOLES_QUICKSTART.md -------------------------------------------------------------------------------- /docs/TYPE_SYSTEM.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPE_SYSTEM.md -------------------------------------------------------------------------------- /docs/TYPE_SYSTEM_ANALYSIS_2025-11-25.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPE_SYSTEM_ANALYSIS_2025-11-25.md -------------------------------------------------------------------------------- /docs/TYPE_SYSTEM_INVESTIGATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/TYPE_SYSTEM_INVESTIGATION_SUMMARY.md -------------------------------------------------------------------------------- /docs/VECTOR_LITERALS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/VECTOR_LITERALS.md -------------------------------------------------------------------------------- /docs/WELCOME.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/WELCOME.md -------------------------------------------------------------------------------- /docs/WHY_CURE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/WHY_CURE.md -------------------------------------------------------------------------------- /docs/WHY_SMT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/WHY_SMT.md -------------------------------------------------------------------------------- /docs/Z3_USER_GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/Z3_USER_GUIDE.md -------------------------------------------------------------------------------- /docs/export_typeclasses.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/export_typeclasses.md -------------------------------------------------------------------------------- /docs/lsp-melquiades-operator-support.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/lsp-melquiades-operator-support.md -------------------------------------------------------------------------------- /docs/pipe_operator_status.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/pipe_operator_status.md -------------------------------------------------------------------------------- /docs/smt_simplification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/smt_simplification.md -------------------------------------------------------------------------------- /docs/typeclass_codegen_enhancement.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_codegen_enhancement.md -------------------------------------------------------------------------------- /docs/typeclass_dispatch_design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_dispatch_design.md -------------------------------------------------------------------------------- /docs/typeclass_full_compilation_success.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_full_compilation_success.md -------------------------------------------------------------------------------- /docs/typeclass_implementation_progress.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_implementation_progress.md -------------------------------------------------------------------------------- /docs/typeclass_import_system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_import_system.md -------------------------------------------------------------------------------- /docs/typeclass_session_complete_2024-11-24.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_session_complete_2024-11-24.md -------------------------------------------------------------------------------- /docs/typeclass_session_summary_2024-11-24.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_session_summary_2024-11-24.md -------------------------------------------------------------------------------- /docs/typeclass_status.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_status.md -------------------------------------------------------------------------------- /docs/typeclass_three_working_2024-11-24.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/docs/typeclass_three_working_2024-11-24.md -------------------------------------------------------------------------------- /erlang_ls.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/erlang_ls.config -------------------------------------------------------------------------------- /examples/01_list_basics.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/01_list_basics.cure -------------------------------------------------------------------------------- /examples/01_vector_basics.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/01_vector_basics.cure -------------------------------------------------------------------------------- /examples/02_result_handling.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/02_result_handling.cure -------------------------------------------------------------------------------- /examples/03_option_type.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/03_option_type.cure -------------------------------------------------------------------------------- /examples/04_pattern_guards.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/04_pattern_guards.cure -------------------------------------------------------------------------------- /examples/05_function_guards.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/05_function_guards.cure -------------------------------------------------------------------------------- /examples/05_recursion.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/05_recursion.cure -------------------------------------------------------------------------------- /examples/06_comprehensive_guards_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/06_comprehensive_guards_demo.cure -------------------------------------------------------------------------------- /examples/06_fsm_traffic_light.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/06_fsm_traffic_light.cure -------------------------------------------------------------------------------- /examples/06_fsm_traffic_light_enhanced.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/06_fsm_traffic_light_enhanced.cure -------------------------------------------------------------------------------- /examples/07_FSM_VERIFICATION_KNOWN_ISSUE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/07_FSM_VERIFICATION_KNOWN_ISSUE.md -------------------------------------------------------------------------------- /examples/07_fsm_verification.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/07_fsm_verification.cure -------------------------------------------------------------------------------- /examples/07_refinement_types_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/07_refinement_types_demo.cure -------------------------------------------------------------------------------- /examples/08_typeclasses.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/08_typeclasses.cure -------------------------------------------------------------------------------- /examples/09_derive.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/09_derive.cure -------------------------------------------------------------------------------- /examples/10_generic_algorithms.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/10_generic_algorithms.cure -------------------------------------------------------------------------------- /examples/11_advanced_typeclasses.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/11_advanced_typeclasses.cure -------------------------------------------------------------------------------- /examples/12_show_typeclass.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/12_show_typeclass.cure -------------------------------------------------------------------------------- /examples/13_show.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/13_show.cure -------------------------------------------------------------------------------- /examples/13_show_simple.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/13_show_simple.cure -------------------------------------------------------------------------------- /examples/14_pipe.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/14_pipe.cure -------------------------------------------------------------------------------- /examples/15_records_comprehensive.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/15_records_comprehensive.cure -------------------------------------------------------------------------------- /examples/16_record_updates_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/16_record_updates_demo.cure -------------------------------------------------------------------------------- /examples/17_list_access_functions.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/17_list_access_functions.cure -------------------------------------------------------------------------------- /examples/18_refinement_types_advanced.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/18_refinement_types_advanced.cure -------------------------------------------------------------------------------- /examples/19_refinement_verification.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/19_refinement_verification.cure -------------------------------------------------------------------------------- /examples/20_refinement_type_aliases.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/20_refinement_type_aliases.cure -------------------------------------------------------------------------------- /examples/21_refinement_test_issues.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/21_refinement_test_issues.cure -------------------------------------------------------------------------------- /examples/22_lambda_expressions.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/22_lambda_expressions.cure -------------------------------------------------------------------------------- /examples/23_tuple_patterns.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/23_tuple_patterns.cure -------------------------------------------------------------------------------- /examples/EXAMPLES_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/EXAMPLES_SUMMARY.md -------------------------------------------------------------------------------- /examples/QUICK_REFERENCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/QUICK_REFERENCE.md -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/README_TRAFFIC_LIGHT_ENHANCED.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/README_TRAFFIC_LIGHT_ENHANCED.md -------------------------------------------------------------------------------- /examples/README_simple_pipe.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/README_simple_pipe.md -------------------------------------------------------------------------------- /examples/Z3_INTEGRATION_README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/Z3_INTEGRATION_README.md -------------------------------------------------------------------------------- /examples/compile_pipe_example.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/compile_pipe_example.sh -------------------------------------------------------------------------------- /examples/melquiades_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/melquiades_demo.cure -------------------------------------------------------------------------------- /examples/profile_test.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/profile_test.cure -------------------------------------------------------------------------------- /examples/profile_with_imports.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/profile_with_imports.cure -------------------------------------------------------------------------------- /examples/run_06_fsm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/run_06_fsm.sh -------------------------------------------------------------------------------- /examples/run_06_fsm_enhanced.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/run_06_fsm_enhanced.sh -------------------------------------------------------------------------------- /examples/show_demo_working.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/show_demo_working.cure -------------------------------------------------------------------------------- /examples/show_final_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/show_final_demo.cure -------------------------------------------------------------------------------- /examples/show_test.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/show_test.cure -------------------------------------------------------------------------------- /examples/show_typeclass_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/show_typeclass_demo.cure -------------------------------------------------------------------------------- /examples/simple_pipe_test.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/simple_pipe_test.cure -------------------------------------------------------------------------------- /examples/smt_error_examples.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/smt_error_examples.cure -------------------------------------------------------------------------------- /examples/smt_simplify_example.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/smt_simplify_example.erl -------------------------------------------------------------------------------- /examples/status-2025-11-23.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/status-2025-11-23.md -------------------------------------------------------------------------------- /examples/test_function_type_paren.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/test_function_type_paren.cure -------------------------------------------------------------------------------- /examples/test_function_types_SUCCESS.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/test_function_types_SUCCESS.cure -------------------------------------------------------------------------------- /examples/test_functor.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/test_functor.cure -------------------------------------------------------------------------------- /examples/test_functor_minimal.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/test_functor_minimal.cure -------------------------------------------------------------------------------- /examples/test_show_import.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/test_show_import.cure -------------------------------------------------------------------------------- /examples/test_show_working.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/test_show_working.cure -------------------------------------------------------------------------------- /examples/type_holes_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/type_holes_demo.cure -------------------------------------------------------------------------------- /examples/typeclass_export_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/typeclass_export_demo.cure -------------------------------------------------------------------------------- /examples/typeclass_polymorphic_test.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/typeclass_polymorphic_test.cure -------------------------------------------------------------------------------- /examples/typeclass_simple.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/typeclass_simple.cure -------------------------------------------------------------------------------- /examples/typeclass_simple_call.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/typeclass_simple_call.cure -------------------------------------------------------------------------------- /examples/vector_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/vector_demo.cure -------------------------------------------------------------------------------- /examples/z3_integration_demo.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/examples/z3_integration_demo.cure -------------------------------------------------------------------------------- /guard_smt_phase4_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/guard_smt_phase4_test.beam -------------------------------------------------------------------------------- /guard_type_integration_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/guard_type_integration_test.beam -------------------------------------------------------------------------------- /lib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/README.md -------------------------------------------------------------------------------- /lib/STDLIB_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/STDLIB_SUMMARY.md -------------------------------------------------------------------------------- /lib/std.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std.cure -------------------------------------------------------------------------------- /lib/std/FSM_INTEGRATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/FSM_INTEGRATION.md -------------------------------------------------------------------------------- /lib/std/SHOW_README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/SHOW_README.md -------------------------------------------------------------------------------- /lib/std/core.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/core.cure -------------------------------------------------------------------------------- /lib/std/eq.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/eq.cure -------------------------------------------------------------------------------- /lib/std/fsm.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/fsm.cure -------------------------------------------------------------------------------- /lib/std/io.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/io.cure -------------------------------------------------------------------------------- /lib/std/list.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/list.cure -------------------------------------------------------------------------------- /lib/std/math.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/math.cure -------------------------------------------------------------------------------- /lib/std/ord.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/ord.cure -------------------------------------------------------------------------------- /lib/std/pair.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/pair.cure -------------------------------------------------------------------------------- /lib/std/rec.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/rec.cure -------------------------------------------------------------------------------- /lib/std/result.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/result.cure -------------------------------------------------------------------------------- /lib/std/show.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/show.cure -------------------------------------------------------------------------------- /lib/std/string.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/string.cure -------------------------------------------------------------------------------- /lib/std/system.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/system.cure -------------------------------------------------------------------------------- /lib/std/typeclasses.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/typeclasses.cure -------------------------------------------------------------------------------- /lib/std/typeclasses/show.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/typeclasses/show.cure -------------------------------------------------------------------------------- /lib/std/vector.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/std/vector.cure -------------------------------------------------------------------------------- /lib/typeclass_spec/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/typeclass_spec/README.md -------------------------------------------------------------------------------- /lib/typeclass_spec/eq.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/typeclass_spec/eq.cure -------------------------------------------------------------------------------- /lib/typeclass_spec/functor.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/typeclass_spec/functor.cure -------------------------------------------------------------------------------- /lib/typeclass_spec/show.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/typeclass_spec/show.cure -------------------------------------------------------------------------------- /lib/typeclass_spec/typeclass.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lib/typeclass_spec/typeclass.cure -------------------------------------------------------------------------------- /lsp/.gitkeep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/.gitkeep -------------------------------------------------------------------------------- /lsp/CHANGELOG_LSP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/CHANGELOG_LSP.md -------------------------------------------------------------------------------- /lsp/IMPLEMENTATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/IMPLEMENTATION_SUMMARY.md -------------------------------------------------------------------------------- /lsp/INTEGRATION_COMPLETE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/INTEGRATION_COMPLETE.md -------------------------------------------------------------------------------- /lsp/LSP_FEATURES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/LSP_FEATURES.md -------------------------------------------------------------------------------- /lsp/LSP_SMT_INTEGRATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/LSP_SMT_INTEGRATION.md -------------------------------------------------------------------------------- /lsp/MODERNIZATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/MODERNIZATION_SUMMARY.md -------------------------------------------------------------------------------- /lsp/NEOVIM_SETUP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/NEOVIM_SETUP.md -------------------------------------------------------------------------------- /lsp/QUICKSTART.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/QUICKSTART.md -------------------------------------------------------------------------------- /lsp/QUICKSTART_ENHANCED.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/QUICKSTART_ENHANCED.md -------------------------------------------------------------------------------- /lsp/QUICK_REFERENCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/QUICK_REFERENCE.md -------------------------------------------------------------------------------- /lsp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/README.md -------------------------------------------------------------------------------- /lsp/TEST_IN_NEOVIM.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/TEST_IN_NEOVIM.md -------------------------------------------------------------------------------- /lsp/WORKING_FEATURES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/WORKING_FEATURES.md -------------------------------------------------------------------------------- /lsp/cure_lsp.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp.erl -------------------------------------------------------------------------------- /lsp/cure_lsp_analyzer.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp_analyzer.beam -------------------------------------------------------------------------------- /lsp/cure_lsp_analyzer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp_analyzer.erl -------------------------------------------------------------------------------- /lsp/cure_lsp_document.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp_document.erl -------------------------------------------------------------------------------- /lsp/cure_lsp_enhanced.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp_enhanced.erl -------------------------------------------------------------------------------- /lsp/cure_lsp_profiler.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp_profiler.erl -------------------------------------------------------------------------------- /lsp/cure_lsp_smt.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp_smt.erl -------------------------------------------------------------------------------- /lsp/cure_lsp_symbols.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp_symbols.erl -------------------------------------------------------------------------------- /lsp/cure_lsp_type_holes.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/cure_lsp_type_holes.erl -------------------------------------------------------------------------------- /lsp/nvim-config-example.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/nvim-config-example.lua -------------------------------------------------------------------------------- /lsp/test_analyzer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/test_analyzer.erl -------------------------------------------------------------------------------- /lsp/test_cure_lsp_comprehensive.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/test_cure_lsp_comprehensive.erl -------------------------------------------------------------------------------- /lsp/test_example.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/test_example.cure -------------------------------------------------------------------------------- /lsp/test_lsp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/lsp/test_lsp.sh -------------------------------------------------------------------------------- /marketing/cure-habr.en.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/marketing/cure-habr.en.md -------------------------------------------------------------------------------- /marketing/cure-habr.ru.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/marketing/cure-habr.ru.md -------------------------------------------------------------------------------- /mcp/ARCHITECTURE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/ARCHITECTURE.md -------------------------------------------------------------------------------- /mcp/LUNARVIM_INTEGRATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/LUNARVIM_INTEGRATION.md -------------------------------------------------------------------------------- /mcp/MCP_LUNARVIM_SETUP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/MCP_LUNARVIM_SETUP.md -------------------------------------------------------------------------------- /mcp/QUICKSTART.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/QUICKSTART.md -------------------------------------------------------------------------------- /mcp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/README.md -------------------------------------------------------------------------------- /mcp/claude_config_template.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/claude_config_template.json -------------------------------------------------------------------------------- /mcp/cure_mcp_server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/cure_mcp_server.erl -------------------------------------------------------------------------------- /mcp/cure_mcp_user.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/cure_mcp_user.erl -------------------------------------------------------------------------------- /mcp/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/package.json -------------------------------------------------------------------------------- /mcp/test_mcp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/test_mcp.sh -------------------------------------------------------------------------------- /mcp/test_resources.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/mcp/test_resources.sh -------------------------------------------------------------------------------- /media/logo-500x500-nobg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/media/logo-500x500-nobg.png -------------------------------------------------------------------------------- /media/logo-500x500.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/media/logo-500x500.png -------------------------------------------------------------------------------- /media/logo-new-full.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/media/logo-new-full.png -------------------------------------------------------------------------------- /rebar.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/rebar.config -------------------------------------------------------------------------------- /rebar.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/rebar.lock -------------------------------------------------------------------------------- /run_cure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/run_cure.sh -------------------------------------------------------------------------------- /run_turnstile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/run_turnstile.sh -------------------------------------------------------------------------------- /scripts/generate_type_signatures.escript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/scripts/generate_type_signatures.escript -------------------------------------------------------------------------------- /scripts/profile_compile.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/scripts/profile_compile.erl -------------------------------------------------------------------------------- /scripts/profile_detailed.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/scripts/profile_detailed.erl -------------------------------------------------------------------------------- /scripts/test_lsp_changes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/scripts/test_lsp_changes.sh -------------------------------------------------------------------------------- /scripts/test_show.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/scripts/test_show.erl -------------------------------------------------------------------------------- /site/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/README.md -------------------------------------------------------------------------------- /site/SYNTAX_HIGHLIGHTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/SYNTAX_HIGHLIGHTING.md -------------------------------------------------------------------------------- /site/api/404.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/404.html -------------------------------------------------------------------------------- /site/api/api-reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/api-reference.html -------------------------------------------------------------------------------- /site/api/api_reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/api_reference.html -------------------------------------------------------------------------------- /site/api/cli_usage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cli_usage.html -------------------------------------------------------------------------------- /site/api/cure.epub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure.epub -------------------------------------------------------------------------------- /site/api/cure_action_compiler.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_action_compiler.html -------------------------------------------------------------------------------- /site/api/cure_ast.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_ast.html -------------------------------------------------------------------------------- /site/api/cure_beam_compiler.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_beam_compiler.html -------------------------------------------------------------------------------- /site/api/cure_cli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_cli.html -------------------------------------------------------------------------------- /site/api/cure_codegen.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_codegen.html -------------------------------------------------------------------------------- /site/api/cure_compile_wrapper.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_compile_wrapper.html -------------------------------------------------------------------------------- /site/api/cure_dependent_parser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_dependent_parser.html -------------------------------------------------------------------------------- /site/api/cure_dependent_types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_dependent_types.html -------------------------------------------------------------------------------- /site/api/cure_derive.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_derive.html -------------------------------------------------------------------------------- /site/api/cure_error_reporter.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_error_reporter.html -------------------------------------------------------------------------------- /site/api/cure_fsm_action_compiler.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_fsm_action_compiler.html -------------------------------------------------------------------------------- /site/api/cure_fsm_builtins.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_fsm_builtins.html -------------------------------------------------------------------------------- /site/api/cure_fsm_cure_api.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_fsm_cure_api.html -------------------------------------------------------------------------------- /site/api/cure_fsm_monitor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_fsm_monitor.html -------------------------------------------------------------------------------- /site/api/cure_fsm_runtime.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_fsm_runtime.html -------------------------------------------------------------------------------- /site/api/cure_fsm_typesafety.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_fsm_typesafety.html -------------------------------------------------------------------------------- /site/api/cure_fsm_verifier.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_fsm_verifier.html -------------------------------------------------------------------------------- /site/api/cure_guard_codegen.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_guard_codegen.html -------------------------------------------------------------------------------- /site/api/cure_guard_compiler.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_guard_compiler.html -------------------------------------------------------------------------------- /site/api/cure_guard_optimizer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_guard_optimizer.html -------------------------------------------------------------------------------- /site/api/cure_guard_refinement.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_guard_refinement.html -------------------------------------------------------------------------------- /site/api/cure_guard_smt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_guard_smt.html -------------------------------------------------------------------------------- /site/api/cure_instance_registry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_instance_registry.html -------------------------------------------------------------------------------- /site/api/cure_lexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_lexer.html -------------------------------------------------------------------------------- /site/api/cure_lsp_code_actions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_lsp_code_actions.html -------------------------------------------------------------------------------- /site/api/cure_lsp_diagnostics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_lsp_diagnostics.html -------------------------------------------------------------------------------- /site/api/cure_lsp_performance.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_lsp_performance.html -------------------------------------------------------------------------------- /site/api/cure_lsp_server.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_lsp_server.html -------------------------------------------------------------------------------- /site/api/cure_lsp_smt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_lsp_smt.html -------------------------------------------------------------------------------- /site/api/cure_lsp_type_holes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_lsp_type_holes.html -------------------------------------------------------------------------------- /site/api/cure_parser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_parser.html -------------------------------------------------------------------------------- /site/api/cure_pattern_checker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_pattern_checker.html -------------------------------------------------------------------------------- /site/api/cure_pattern_encoder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_pattern_encoder.html -------------------------------------------------------------------------------- /site/api/cure_pipe_optimizer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_pipe_optimizer.html -------------------------------------------------------------------------------- /site/api/cure_profiler.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_profiler.html -------------------------------------------------------------------------------- /site/api/cure_refinement_types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_refinement_types.html -------------------------------------------------------------------------------- /site/api/cure_runtime.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_runtime.html -------------------------------------------------------------------------------- /site/api/cure_show_native.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_show_native.html -------------------------------------------------------------------------------- /site/api/cure_signature_generator.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_signature_generator.html -------------------------------------------------------------------------------- /site/api/cure_smt_array.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_smt_array.html -------------------------------------------------------------------------------- /site/api/cure_smt_parser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_smt_parser.html -------------------------------------------------------------------------------- /site/api/cure_smt_process.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_smt_process.html -------------------------------------------------------------------------------- /site/api/cure_smt_solver.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_smt_solver.html -------------------------------------------------------------------------------- /site/api/cure_smt_translator.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_smt_translator.html -------------------------------------------------------------------------------- /site/api/cure_std.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_std.html -------------------------------------------------------------------------------- /site/api/cure_stdlib_signatures.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_stdlib_signatures.html -------------------------------------------------------------------------------- /site/api/cure_string_native.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_string_native.html -------------------------------------------------------------------------------- /site/api/cure_syntax_guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_syntax_guide.html -------------------------------------------------------------------------------- /site/api/cure_type_optimizer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_type_optimizer.html -------------------------------------------------------------------------------- /site/api/cure_typechecker.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_typechecker.html -------------------------------------------------------------------------------- /site/api/cure_typeclass.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_typeclass.html -------------------------------------------------------------------------------- /site/api/cure_typeclass_codegen.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_typeclass_codegen.html -------------------------------------------------------------------------------- /site/api/cure_typeclass_dispatch.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_typeclass_dispatch.html -------------------------------------------------------------------------------- /site/api/cure_types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_types.html -------------------------------------------------------------------------------- /site/api/cure_ultimate_description.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_ultimate_description.html -------------------------------------------------------------------------------- /site/api/cure_utils.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/cure_utils.html -------------------------------------------------------------------------------- /site/api/derive_guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/derive_guide.html -------------------------------------------------------------------------------- /site/api/dist/handlebars.runtime-NWIB6V2M.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/handlebars.runtime-NWIB6V2M.js -------------------------------------------------------------------------------- /site/api/dist/handlebars.templates-K7URE6B4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/handlebars.templates-K7URE6B4.js -------------------------------------------------------------------------------- /site/api/dist/html-PVRIOB7F.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/html-PVRIOB7F.js -------------------------------------------------------------------------------- /site/api/dist/html-erlang-4IXSOGMD.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/html-erlang-4IXSOGMD.css -------------------------------------------------------------------------------- /site/api/dist/inconsolata-latin-400-normal-RGKDDNDD.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/inconsolata-latin-400-normal-RGKDDNDD.woff2 -------------------------------------------------------------------------------- /site/api/dist/inconsolata-latin-700-normal-DTS2D7TO.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/inconsolata-latin-700-normal-DTS2D7TO.woff2 -------------------------------------------------------------------------------- /site/api/dist/inconsolata-latin-ext-400-normal-K7HVGTP7.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/inconsolata-latin-ext-400-normal-K7HVGTP7.woff2 -------------------------------------------------------------------------------- /site/api/dist/inconsolata-latin-ext-700-normal-4MPBLFZC.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/inconsolata-latin-ext-700-normal-4MPBLFZC.woff2 -------------------------------------------------------------------------------- /site/api/dist/inconsolata-vietnamese-400-normal-IGQPHHJH.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/inconsolata-vietnamese-400-normal-IGQPHHJH.woff2 -------------------------------------------------------------------------------- /site/api/dist/inconsolata-vietnamese-700-normal-LHEGSN35.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/inconsolata-vietnamese-700-normal-LHEGSN35.woff2 -------------------------------------------------------------------------------- /site/api/dist/lato-latin-300-normal-YUMVEFOL.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/lato-latin-300-normal-YUMVEFOL.woff2 -------------------------------------------------------------------------------- /site/api/dist/lato-latin-400-normal-W7754I4D.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/lato-latin-400-normal-W7754I4D.woff2 -------------------------------------------------------------------------------- /site/api/dist/lato-latin-700-normal-2XVSBPG4.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/lato-latin-700-normal-2XVSBPG4.woff2 -------------------------------------------------------------------------------- /site/api/dist/lato-latin-ext-300-normal-VPGGJKJL.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/lato-latin-ext-300-normal-VPGGJKJL.woff2 -------------------------------------------------------------------------------- /site/api/dist/lato-latin-ext-400-normal-N27NCBWW.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/lato-latin-ext-400-normal-N27NCBWW.woff2 -------------------------------------------------------------------------------- /site/api/dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2 -------------------------------------------------------------------------------- /site/api/dist/remixicon-NKANDIL5.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/remixicon-NKANDIL5.woff2 -------------------------------------------------------------------------------- /site/api/dist/search_data-0AE26856.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-0AE26856.js -------------------------------------------------------------------------------- /site/api/dist/search_data-1297CAE7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-1297CAE7.js -------------------------------------------------------------------------------- /site/api/dist/search_data-4744314D.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-4744314D.js -------------------------------------------------------------------------------- /site/api/dist/search_data-57B42CAE.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-57B42CAE.js -------------------------------------------------------------------------------- /site/api/dist/search_data-63CBE664.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-63CBE664.js -------------------------------------------------------------------------------- /site/api/dist/search_data-6DAA9024.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-6DAA9024.js -------------------------------------------------------------------------------- /site/api/dist/search_data-80712D14.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-80712D14.js -------------------------------------------------------------------------------- /site/api/dist/search_data-8EC38731.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-8EC38731.js -------------------------------------------------------------------------------- /site/api/dist/search_data-95B16BFC.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-95B16BFC.js -------------------------------------------------------------------------------- /site/api/dist/search_data-D152DBE4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-D152DBE4.js -------------------------------------------------------------------------------- /site/api/dist/search_data-E0319840.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-E0319840.js -------------------------------------------------------------------------------- /site/api/dist/search_data-F71F3AC2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/search_data-F71F3AC2.js -------------------------------------------------------------------------------- /site/api/dist/sidebar_items-0B854C3B.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/sidebar_items-0B854C3B.js -------------------------------------------------------------------------------- /site/api/dist/sidebar_items-28313B55.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/sidebar_items-28313B55.js -------------------------------------------------------------------------------- /site/api/dist/sidebar_items-28C2A753.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/sidebar_items-28C2A753.js -------------------------------------------------------------------------------- /site/api/dist/sidebar_items-3ABA2D2B.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/sidebar_items-3ABA2D2B.js -------------------------------------------------------------------------------- /site/api/dist/sidebar_items-48D43E9B.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/sidebar_items-48D43E9B.js -------------------------------------------------------------------------------- /site/api/dist/sidebar_items-C51205A4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/sidebar_items-C51205A4.js -------------------------------------------------------------------------------- /site/api/dist/sidebar_items-DAE95399.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/sidebar_items-DAE95399.js -------------------------------------------------------------------------------- /site/api/dist/sidebar_items-DC6CD34D.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dist/sidebar_items-DC6CD34D.js -------------------------------------------------------------------------------- /site/api/dollar_operator_fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/dollar_operator_fix.html -------------------------------------------------------------------------------- /site/api/editor_setup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/editor_setup.html -------------------------------------------------------------------------------- /site/api/feature_reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/feature_reference.html -------------------------------------------------------------------------------- /site/api/fsm_api_design.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/fsm_api_design.html -------------------------------------------------------------------------------- /site/api/fsm_implementation_summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/fsm_implementation_summary.html -------------------------------------------------------------------------------- /site/api/fsm_usage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/fsm_usage.html -------------------------------------------------------------------------------- /site/api/function_types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/function_types.html -------------------------------------------------------------------------------- /site/api/hkt_phase1_complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/hkt_phase1_complete.html -------------------------------------------------------------------------------- /site/api/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/index.html -------------------------------------------------------------------------------- /site/api/instance_dispatch_phase2_complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/instance_dispatch_phase2_complete.html -------------------------------------------------------------------------------- /site/api/language_spec.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/language_spec.html -------------------------------------------------------------------------------- /site/api/lexer_error_format.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/lexer_error_format.html -------------------------------------------------------------------------------- /site/api/lsp_smt_user_guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/lsp_smt_user_guide.html -------------------------------------------------------------------------------- /site/api/lsp_status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/lsp_status.html -------------------------------------------------------------------------------- /site/api/mcp_integration.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/mcp_integration.html -------------------------------------------------------------------------------- /site/api/pipe_operator.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/pipe_operator.html -------------------------------------------------------------------------------- /site/api/pipe_operator_completed.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/pipe_operator_completed.html -------------------------------------------------------------------------------- /site/api/pipe_operator_implementation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/pipe_operator_implementation.html -------------------------------------------------------------------------------- /site/api/pipe_operator_result_handling.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/pipe_operator_result_handling.html -------------------------------------------------------------------------------- /site/api/project_overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/project_overview.html -------------------------------------------------------------------------------- /site/api/readme.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/readme.html -------------------------------------------------------------------------------- /site/api/record_operations_implementation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/record_operations_implementation.html -------------------------------------------------------------------------------- /site/api/search.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/search.html -------------------------------------------------------------------------------- /site/api/smt_quick_reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/smt_quick_reference.html -------------------------------------------------------------------------------- /site/api/smt_solver_installation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/smt_solver_installation.html -------------------------------------------------------------------------------- /site/api/std_summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/std_summary.html -------------------------------------------------------------------------------- /site/api/type_system.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/type_system.html -------------------------------------------------------------------------------- /site/api/typeclass_guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/typeclass_guide.html -------------------------------------------------------------------------------- /site/api/typeclass_implementation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/typeclass_implementation.html -------------------------------------------------------------------------------- /site/api/typeclass_operator_syntax.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/typeclass_operator_syntax.html -------------------------------------------------------------------------------- /site/api/typeclass_summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/typeclass_summary.html -------------------------------------------------------------------------------- /site/api/why_cure.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/why_cure.html -------------------------------------------------------------------------------- /site/api/why_smt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/api/why_smt.html -------------------------------------------------------------------------------- /site/build_site.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/build_site.sh -------------------------------------------------------------------------------- /site/convert_docs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/convert_docs.py -------------------------------------------------------------------------------- /site/css/cure-theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/css/cure-theme.css -------------------------------------------------------------------------------- /site/css/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/css/style.css -------------------------------------------------------------------------------- /site/docs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs.html -------------------------------------------------------------------------------- /site/docs/api-reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/api-reference.html -------------------------------------------------------------------------------- /site/docs/cli-integration-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/cli-integration-status.html -------------------------------------------------------------------------------- /site/docs/cli-usage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/cli-usage.html -------------------------------------------------------------------------------- /site/docs/codegen-analysis-2025-11-25.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/codegen-analysis-2025-11-25.html -------------------------------------------------------------------------------- /site/docs/codegen-investigation-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/codegen-investigation-summary.html -------------------------------------------------------------------------------- /site/docs/complete-status-report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/complete-status-report.html -------------------------------------------------------------------------------- /site/docs/contributing.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/contributing.html -------------------------------------------------------------------------------- /site/docs/cure-syntax-guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/cure-syntax-guide.html -------------------------------------------------------------------------------- /site/docs/cure-ultimate-description.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/cure-ultimate-description.html -------------------------------------------------------------------------------- /site/docs/dependent-types-design.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/dependent-types-design.html -------------------------------------------------------------------------------- /site/docs/dependent-types-guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/dependent-types-guide.html -------------------------------------------------------------------------------- /site/docs/derive-guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/derive-guide.html -------------------------------------------------------------------------------- /site/docs/documentation-update-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/documentation-update-status.html -------------------------------------------------------------------------------- /site/docs/dollar-operator-fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/dollar-operator-fix.html -------------------------------------------------------------------------------- /site/docs/editor-setup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/editor-setup.html -------------------------------------------------------------------------------- /site/docs/error-location-tracking.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/error-location-tracking.html -------------------------------------------------------------------------------- /site/docs/export-typeclasses.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/export-typeclasses.html -------------------------------------------------------------------------------- /site/docs/feature-reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/feature-reference.html -------------------------------------------------------------------------------- /site/docs/fsm-api-design.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/fsm-api-design.html -------------------------------------------------------------------------------- /site/docs/fsm-compilation-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/fsm-compilation-complete.html -------------------------------------------------------------------------------- /site/docs/fsm-compilation-readme.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/fsm-compilation-readme.html -------------------------------------------------------------------------------- /site/docs/fsm-implementation-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/fsm-implementation-complete.html -------------------------------------------------------------------------------- /site/docs/fsm-implementation-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/fsm-implementation-summary.html -------------------------------------------------------------------------------- /site/docs/fsm-polish-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/fsm-polish-summary.html -------------------------------------------------------------------------------- /site/docs/fsm-usage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/fsm-usage.html -------------------------------------------------------------------------------- /site/docs/function-types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/function-types.html -------------------------------------------------------------------------------- /site/docs/hkt-phase1-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/hkt-phase1-complete.html -------------------------------------------------------------------------------- /site/docs/implementation-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/implementation-complete.html -------------------------------------------------------------------------------- /site/docs/instance-dispatch-phase2-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/instance-dispatch-phase2-complete.html -------------------------------------------------------------------------------- /site/docs/integration-status-report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/integration-status-report.html -------------------------------------------------------------------------------- /site/docs/lambda-expressions-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lambda-expressions-status.html -------------------------------------------------------------------------------- /site/docs/lambda-improvements-2025-11-24.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lambda-improvements-2025-11-24.html -------------------------------------------------------------------------------- /site/docs/language-spec.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/language-spec.html -------------------------------------------------------------------------------- /site/docs/lexer-error-format.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lexer-error-format.html -------------------------------------------------------------------------------- /site/docs/lsp-diagnostic-update-fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-diagnostic-update-fix.html -------------------------------------------------------------------------------- /site/docs/lsp-location-validation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-location-validation.html -------------------------------------------------------------------------------- /site/docs/lsp-mcp-update-2025-11-26.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-mcp-update-2025-11-26.html -------------------------------------------------------------------------------- /site/docs/lsp-smt-user-guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-smt-user-guide.html -------------------------------------------------------------------------------- /site/docs/lsp-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-status.html -------------------------------------------------------------------------------- /site/docs/lsp-type-hole-code-action-fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-type-hole-code-action-fix.html -------------------------------------------------------------------------------- /site/docs/lsp-type-hole-position-fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-type-hole-position-fix.html -------------------------------------------------------------------------------- /site/docs/lsp-type-hole-remote-call-fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-type-hole-remote-call-fix.html -------------------------------------------------------------------------------- /site/docs/lsp-type-hole-remote-call-implementation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/lsp-type-hole-remote-call-implementation.html -------------------------------------------------------------------------------- /site/docs/make-lsp-fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/make-lsp-fix.html -------------------------------------------------------------------------------- /site/docs/mcp-integration.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/mcp-integration.html -------------------------------------------------------------------------------- /site/docs/mcp-lsp-robustness-analysis.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/mcp-lsp-robustness-analysis.html -------------------------------------------------------------------------------- /site/docs/mcp-todo-integration.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/mcp-todo-integration.html -------------------------------------------------------------------------------- /site/docs/phase-4-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/phase-4-complete.html -------------------------------------------------------------------------------- /site/docs/phase2-smt-completion-report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/phase2-smt-completion-report.html -------------------------------------------------------------------------------- /site/docs/phase3-smt-complete-report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/phase3-smt-complete-report.html -------------------------------------------------------------------------------- /site/docs/phase3-smt-completion-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/phase3-smt-completion-summary.html -------------------------------------------------------------------------------- /site/docs/phase4-1-completion-report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/phase4-1-completion-report.html -------------------------------------------------------------------------------- /site/docs/phase4-2-completion-report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/phase4-2-completion-report.html -------------------------------------------------------------------------------- /site/docs/pipe-operator-completed.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/pipe-operator-completed.html -------------------------------------------------------------------------------- /site/docs/pipe-operator-implementation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/pipe-operator-implementation.html -------------------------------------------------------------------------------- /site/docs/pipe-operator-result-handling.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/pipe-operator-result-handling.html -------------------------------------------------------------------------------- /site/docs/pipe-operator-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/pipe-operator-status.html -------------------------------------------------------------------------------- /site/docs/pipe-operator.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/pipe-operator.html -------------------------------------------------------------------------------- /site/docs/project-completion-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/project-completion-summary.html -------------------------------------------------------------------------------- /site/docs/project-overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/project-overview.html -------------------------------------------------------------------------------- /site/docs/record-operations-implementation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/record-operations-implementation.html -------------------------------------------------------------------------------- /site/docs/refinement-parser-runtime-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/refinement-parser-runtime-status.html -------------------------------------------------------------------------------- /site/docs/refinement-types-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/refinement-types-status.html -------------------------------------------------------------------------------- /site/docs/refinement-types-verification-report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/refinement-types-verification-report.html -------------------------------------------------------------------------------- /site/docs/show-quick-reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/show-quick-reference.html -------------------------------------------------------------------------------- /site/docs/show-typeclass-readme.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/show-typeclass-readme.html -------------------------------------------------------------------------------- /site/docs/show-typeclass.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/show-typeclass.html -------------------------------------------------------------------------------- /site/docs/smt-phases-4-6-roadmap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/smt-phases-4-6-roadmap.html -------------------------------------------------------------------------------- /site/docs/smt-quick-reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/smt-quick-reference.html -------------------------------------------------------------------------------- /site/docs/smt-simplification.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/smt-simplification.html -------------------------------------------------------------------------------- /site/docs/smt-solver-advanced.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/smt-solver-advanced.html -------------------------------------------------------------------------------- /site/docs/smt-solver-installation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/smt-solver-installation.html -------------------------------------------------------------------------------- /site/docs/std-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/std-summary.html -------------------------------------------------------------------------------- /site/docs/test-coverage-2025-11-24.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/test-coverage-2025-11-24.html -------------------------------------------------------------------------------- /site/docs/todo-integration-validation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/todo-integration-validation.html -------------------------------------------------------------------------------- /site/docs/todo-refinement-type-syntax.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/todo-refinement-type-syntax.html -------------------------------------------------------------------------------- /site/docs/traffic-light-enhanced-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/traffic-light-enhanced-summary.html -------------------------------------------------------------------------------- /site/docs/troubleshooting.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/troubleshooting.html -------------------------------------------------------------------------------- /site/docs/tuple-pattern-matching-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/tuple-pattern-matching-status.html -------------------------------------------------------------------------------- /site/docs/type-holes-guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/type-holes-guide.html -------------------------------------------------------------------------------- /site/docs/type-holes-quickstart.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/type-holes-quickstart.html -------------------------------------------------------------------------------- /site/docs/type-system-analysis-2025-11-25.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/type-system-analysis-2025-11-25.html -------------------------------------------------------------------------------- /site/docs/type-system-investigation-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/type-system-investigation-summary.html -------------------------------------------------------------------------------- /site/docs/type-system.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/type-system.html -------------------------------------------------------------------------------- /site/docs/typeclass-codegen-enhancement.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-codegen-enhancement.html -------------------------------------------------------------------------------- /site/docs/typeclass-dispatch-design.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-dispatch-design.html -------------------------------------------------------------------------------- /site/docs/typeclass-full-compilation-success.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-full-compilation-success.html -------------------------------------------------------------------------------- /site/docs/typeclass-guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-guide.html -------------------------------------------------------------------------------- /site/docs/typeclass-implementation-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-implementation-complete.html -------------------------------------------------------------------------------- /site/docs/typeclass-implementation-progress.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-implementation-progress.html -------------------------------------------------------------------------------- /site/docs/typeclass-implementation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-implementation.html -------------------------------------------------------------------------------- /site/docs/typeclass-import-system.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-import-system.html -------------------------------------------------------------------------------- /site/docs/typeclass-operator-syntax.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-operator-syntax.html -------------------------------------------------------------------------------- /site/docs/typeclass-resolution.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-resolution.html -------------------------------------------------------------------------------- /site/docs/typeclass-session-complete-2024-11-24.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-session-complete-2024-11-24.html -------------------------------------------------------------------------------- /site/docs/typeclass-session-summary-2024-11-24.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-session-summary-2024-11-24.html -------------------------------------------------------------------------------- /site/docs/typeclass-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-status.html -------------------------------------------------------------------------------- /site/docs/typeclass-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-summary.html -------------------------------------------------------------------------------- /site/docs/typeclass-three-working-2024-11-24.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/typeclass-three-working-2024-11-24.html -------------------------------------------------------------------------------- /site/docs/vector-literals.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/vector-literals.html -------------------------------------------------------------------------------- /site/docs/welcome.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/welcome.html -------------------------------------------------------------------------------- /site/docs/why-cure.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/why-cure.html -------------------------------------------------------------------------------- /site/docs/why-smt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/why-smt.html -------------------------------------------------------------------------------- /site/docs/z3-integration-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-integration-complete.html -------------------------------------------------------------------------------- /site/docs/z3-integration-plan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-integration-plan.html -------------------------------------------------------------------------------- /site/docs/z3-integration-status.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-integration-status.html -------------------------------------------------------------------------------- /site/docs/z3-phase-1-2-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-phase-1-2-complete.html -------------------------------------------------------------------------------- /site/docs/z3-phase-3-5-roadmap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-phase-3-5-roadmap.html -------------------------------------------------------------------------------- /site/docs/z3-phase-3-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-phase-3-complete.html -------------------------------------------------------------------------------- /site/docs/z3-phase-3-progress.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-phase-3-progress.html -------------------------------------------------------------------------------- /site/docs/z3-phase-4-complete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-phase-4-complete.html -------------------------------------------------------------------------------- /site/docs/z3-phase-4-lsp-integration.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-phase-4-lsp-integration.html -------------------------------------------------------------------------------- /site/docs/z3-user-guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/docs/z3-user-guide.html -------------------------------------------------------------------------------- /site/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/index.html -------------------------------------------------------------------------------- /site/js/cure-language.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/js/cure-language.js -------------------------------------------------------------------------------- /site/media/ad.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/media/ad.png -------------------------------------------------------------------------------- /site/media/logo-128x128.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/media/logo-128x128.png -------------------------------------------------------------------------------- /site/media/logo-500x500-nobg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/media/logo-500x500-nobg.png -------------------------------------------------------------------------------- /site/media/logo-500x500.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/media/logo-500x500.png -------------------------------------------------------------------------------- /site/media/logo-new-full.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/media/logo-new-full.png -------------------------------------------------------------------------------- /site/requirements.txt: -------------------------------------------------------------------------------- 1 | markdown>=3.4.0 2 | Pygments>=2.15.0 3 | -------------------------------------------------------------------------------- /site/test-highlighting.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/test-highlighting.html -------------------------------------------------------------------------------- /site/update_footer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/site/update_footer.py -------------------------------------------------------------------------------- /src/codegen/cure_action_compiler.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_action_compiler.erl -------------------------------------------------------------------------------- /src/codegen/cure_beam_compiler.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_beam_compiler.erl -------------------------------------------------------------------------------- /src/codegen/cure_beam_compiler.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_beam_compiler.hrl -------------------------------------------------------------------------------- /src/codegen/cure_codegen.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_codegen.erl -------------------------------------------------------------------------------- /src/codegen/cure_codegen.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_codegen.hrl -------------------------------------------------------------------------------- /src/codegen/cure_compile_wrapper.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_compile_wrapper.erl -------------------------------------------------------------------------------- /src/codegen/cure_fsm_action_compiler.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_fsm_action_compiler.erl -------------------------------------------------------------------------------- /src/codegen/cure_guard_codegen.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_guard_codegen.erl -------------------------------------------------------------------------------- /src/codegen/cure_guard_compiler.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_guard_compiler.erl -------------------------------------------------------------------------------- /src/codegen/cure_typeclass_codegen.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/codegen/cure_typeclass_codegen.erl -------------------------------------------------------------------------------- /src/cure.app.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/cure.app.src -------------------------------------------------------------------------------- /src/cure_cli.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/cure_cli.erl -------------------------------------------------------------------------------- /src/cure_utils.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/cure_utils.erl -------------------------------------------------------------------------------- /src/fsm/cure_fsm_builtins.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/fsm/cure_fsm_builtins.erl -------------------------------------------------------------------------------- /src/fsm/cure_fsm_cure_api.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/fsm/cure_fsm_cure_api.erl -------------------------------------------------------------------------------- /src/fsm/cure_fsm_monitor.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/fsm/cure_fsm_monitor.erl -------------------------------------------------------------------------------- /src/fsm/cure_fsm_runtime.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/fsm/cure_fsm_runtime.erl -------------------------------------------------------------------------------- /src/fsm/cure_fsm_runtime.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/fsm/cure_fsm_runtime.hrl -------------------------------------------------------------------------------- /src/fsm/cure_fsm_verifier.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/fsm/cure_fsm_verifier.erl -------------------------------------------------------------------------------- /src/lexer/cure_lexer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/lexer/cure_lexer.erl -------------------------------------------------------------------------------- /src/lsp/cure_lsp_code_actions.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/lsp/cure_lsp_code_actions.erl -------------------------------------------------------------------------------- /src/lsp/cure_lsp_diagnostics.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/lsp/cure_lsp_diagnostics.erl -------------------------------------------------------------------------------- /src/lsp/cure_lsp_performance.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/lsp/cure_lsp_performance.erl -------------------------------------------------------------------------------- /src/lsp/cure_lsp_server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/lsp/cure_lsp_server.erl -------------------------------------------------------------------------------- /src/lsp/cure_lsp_smt.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/lsp/cure_lsp_smt.erl -------------------------------------------------------------------------------- /src/lsp/cure_lsp_type_holes.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/lsp/cure_lsp_type_holes.erl -------------------------------------------------------------------------------- /src/parser/cure_ast.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/parser/cure_ast.erl -------------------------------------------------------------------------------- /src/parser/cure_ast.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/parser/cure_ast.hrl -------------------------------------------------------------------------------- /src/parser/cure_dependent_parser.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/parser/cure_dependent_parser.erl -------------------------------------------------------------------------------- /src/parser/cure_error_reporter.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/parser/cure_error_reporter.erl -------------------------------------------------------------------------------- /src/parser/cure_parser.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/parser/cure_parser.erl -------------------------------------------------------------------------------- /src/profiler/cure_profiler.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/profiler/cure_profiler.erl -------------------------------------------------------------------------------- /src/runtime/cure_instance_registry.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/runtime/cure_instance_registry.erl -------------------------------------------------------------------------------- /src/runtime/cure_runtime.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/runtime/cure_runtime.erl -------------------------------------------------------------------------------- /src/runtime/cure_show_native.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/runtime/cure_show_native.erl -------------------------------------------------------------------------------- /src/runtime/cure_std.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/runtime/cure_std.erl -------------------------------------------------------------------------------- /src/runtime/cure_string_native.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/runtime/cure_string_native.erl -------------------------------------------------------------------------------- /src/runtime/cure_typeclass_dispatch.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/runtime/cure_typeclass_dispatch.erl -------------------------------------------------------------------------------- /src/smt/cure_guard_optimizer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/smt/cure_guard_optimizer.erl -------------------------------------------------------------------------------- /src/smt/cure_pattern_encoder.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/smt/cure_pattern_encoder.erl -------------------------------------------------------------------------------- /src/smt/cure_smt_array.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/smt/cure_smt_array.erl -------------------------------------------------------------------------------- /src/smt/cure_smt_parser.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/smt/cure_smt_parser.erl -------------------------------------------------------------------------------- /src/smt/cure_smt_process.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/smt/cure_smt_process.erl -------------------------------------------------------------------------------- /src/smt/cure_smt_solver.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/smt/cure_smt_solver.erl -------------------------------------------------------------------------------- /src/smt/cure_smt_translator.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/smt/cure_smt_translator.erl -------------------------------------------------------------------------------- /src/tools/cure_signature_generator.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/tools/cure_signature_generator.erl -------------------------------------------------------------------------------- /src/types/cure_dependent_types.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_dependent_types.erl -------------------------------------------------------------------------------- /src/types/cure_derive.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_derive.erl -------------------------------------------------------------------------------- /src/types/cure_fsm_typesafety.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_fsm_typesafety.erl -------------------------------------------------------------------------------- /src/types/cure_guard_optimizer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_guard_optimizer.erl -------------------------------------------------------------------------------- /src/types/cure_guard_refinement.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_guard_refinement.erl -------------------------------------------------------------------------------- /src/types/cure_guard_smt.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_guard_smt.erl -------------------------------------------------------------------------------- /src/types/cure_pattern_checker.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_pattern_checker.erl -------------------------------------------------------------------------------- /src/types/cure_pipe_optimizer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_pipe_optimizer.erl -------------------------------------------------------------------------------- /src/types/cure_refinement_types.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_refinement_types.erl -------------------------------------------------------------------------------- /src/types/cure_refinement_types.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_refinement_types.hrl -------------------------------------------------------------------------------- /src/types/cure_smt_solver.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_smt_solver.erl -------------------------------------------------------------------------------- /src/types/cure_stdlib_signatures.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_stdlib_signatures.erl -------------------------------------------------------------------------------- /src/types/cure_type_optimizer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_type_optimizer.erl -------------------------------------------------------------------------------- /src/types/cure_type_optimizer.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_type_optimizer.hrl -------------------------------------------------------------------------------- /src/types/cure_typechecker.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_typechecker.erl -------------------------------------------------------------------------------- /src/types/cure_typeclass.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_typeclass.erl -------------------------------------------------------------------------------- /src/types/cure_types.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/src/types/cure_types.erl -------------------------------------------------------------------------------- /test-lsp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test-lsp.sh -------------------------------------------------------------------------------- /test/STD_LIB_TESTS_README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/STD_LIB_TESTS_README.md -------------------------------------------------------------------------------- /test/action_compilation_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/action_compilation_test.erl -------------------------------------------------------------------------------- /test/atom_bridge_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/atom_bridge_test.erl -------------------------------------------------------------------------------- /test/beam_generation_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/beam_generation_test.erl -------------------------------------------------------------------------------- /test/check_exports.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/check_exports.erl -------------------------------------------------------------------------------- /test/cli_test_minimal.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cli_test_minimal.cure -------------------------------------------------------------------------------- /test/cli_wrapper_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cli_wrapper_comprehensive_test.erl -------------------------------------------------------------------------------- /test/codegen_advanced_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/codegen_advanced_test.erl -------------------------------------------------------------------------------- /test/codegen_simple_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/codegen_simple_test.beam -------------------------------------------------------------------------------- /test/codegen_simple_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/codegen_simple_test.erl -------------------------------------------------------------------------------- /test/codegen_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/codegen_test.erl -------------------------------------------------------------------------------- /test/complex_constraints_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/complex_constraints_test.erl -------------------------------------------------------------------------------- /test/cure/test_and_operator.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_and_operator.cure -------------------------------------------------------------------------------- /test/cure/test_arrow_type.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_arrow_type.cure -------------------------------------------------------------------------------- /test/cure/test_atom.cure: -------------------------------------------------------------------------------- 1 | def test() = 'Some'(42) 2 | -------------------------------------------------------------------------------- /test/cure/test_basic_list.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_basic_list.cure -------------------------------------------------------------------------------- /test/cure/test_basic_vector.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_basic_vector.cure -------------------------------------------------------------------------------- /test/cure/test_constructor_calls.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_constructor_calls.cure -------------------------------------------------------------------------------- /test/cure/test_constructor_with_arg.cure: -------------------------------------------------------------------------------- 1 | module TestConstructorWithArg do 2 | def simple_some() = 'Some'(42) 3 | end -------------------------------------------------------------------------------- /test/cure/test_core_partial.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_core_partial.cure -------------------------------------------------------------------------------- /test/cure/test_defp.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_defp.cure -------------------------------------------------------------------------------- /test/cure/test_defp_export_error.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_defp_export_error.cure -------------------------------------------------------------------------------- /test/cure/test_diff_length.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_diff_length.cure -------------------------------------------------------------------------------- /test/cure/test_direct_call.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_direct_call.cure -------------------------------------------------------------------------------- /test/cure/test_direct_same.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_direct_same.cure -------------------------------------------------------------------------------- /test/cure/test_function_parsing.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_function_parsing.cure -------------------------------------------------------------------------------- /test/cure/test_function_type.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_function_type.cure -------------------------------------------------------------------------------- /test/cure/test_import_syntax.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_import_syntax.cure -------------------------------------------------------------------------------- /test/cure/test_lambda.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_lambda.cure -------------------------------------------------------------------------------- /test/cure/test_lambda_syntax.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_lambda_syntax.cure -------------------------------------------------------------------------------- /test/cure/test_let.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_let.cure -------------------------------------------------------------------------------- /test/cure/test_match.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_match.cure -------------------------------------------------------------------------------- /test/cure/test_match_constructor.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_match_constructor.cure -------------------------------------------------------------------------------- /test/cure/test_math_minimal.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_math_minimal.cure -------------------------------------------------------------------------------- /test/cure/test_minimal_list.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_minimal_list.cure -------------------------------------------------------------------------------- /test/cure/test_mixed_syntax.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_mixed_syntax.cure -------------------------------------------------------------------------------- /test/cure/test_multiple.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_multiple.cure -------------------------------------------------------------------------------- /test/cure/test_nested_if.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_nested_if.cure -------------------------------------------------------------------------------- /test/cure/test_not.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_not.cure -------------------------------------------------------------------------------- /test/cure/test_num_type.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_num_type.cure -------------------------------------------------------------------------------- /test/cure/test_ordering.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_ordering.cure -------------------------------------------------------------------------------- /test/cure/test_parsing_if.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_parsing_if.cure -------------------------------------------------------------------------------- /test/cure/test_parsing_issue.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_parsing_issue.cure -------------------------------------------------------------------------------- /test/cure/test_print.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_print.cure -------------------------------------------------------------------------------- /test/cure/test_print_with_import.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_print_with_import.cure -------------------------------------------------------------------------------- /test/cure/test_same_length.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_same_length.cure -------------------------------------------------------------------------------- /test/cure/test_simple_cons.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_simple_cons.cure -------------------------------------------------------------------------------- /test/cure/test_simple_constructor.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_simple_constructor.cure -------------------------------------------------------------------------------- /test/cure/test_simple_if.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_simple_if.cure -------------------------------------------------------------------------------- /test/cure/test_simple_module.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_simple_module.cure -------------------------------------------------------------------------------- /test/cure/test_std_partial.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_std_partial.cure -------------------------------------------------------------------------------- /test/cure/test_std_syntax.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_std_syntax.cure -------------------------------------------------------------------------------- /test/cure/test_stdlib_complete.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_stdlib_complete.cure -------------------------------------------------------------------------------- /test/cure/test_stdlib_simple.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_stdlib_simple.cure -------------------------------------------------------------------------------- /test/cure/test_union_typedef.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_union_typedef.cure -------------------------------------------------------------------------------- /test/cure/test_vector_mismatch.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure/test_vector_mismatch.cure -------------------------------------------------------------------------------- /test/cure_cli_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure_cli_integration_test.erl -------------------------------------------------------------------------------- /test/cure_cli_stdlib_imports_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure_cli_stdlib_imports_test.erl -------------------------------------------------------------------------------- /test/cure_wrapper_script_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/cure_wrapper_script_test.erl -------------------------------------------------------------------------------- /test/debug_match.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/debug_match.cure -------------------------------------------------------------------------------- /test/dependent_parser_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/dependent_parser_test.erl -------------------------------------------------------------------------------- /test/dependent_types_advanced_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/dependent_types_advanced_test.erl -------------------------------------------------------------------------------- /test/dependent_types_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/dependent_types_comprehensive_test.erl -------------------------------------------------------------------------------- /test/dependent_types_examples_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/dependent_types_examples_test.erl -------------------------------------------------------------------------------- /test/dependent_types_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/dependent_types_test.erl -------------------------------------------------------------------------------- /test/enhanced_parser_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/enhanced_parser_test.erl -------------------------------------------------------------------------------- /test/enhanced_type_inference_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/enhanced_type_inference_test.erl -------------------------------------------------------------------------------- /test/eq_typeclass_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/eq_typeclass_test.erl -------------------------------------------------------------------------------- /test/extended_syntax_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/extended_syntax_test.erl -------------------------------------------------------------------------------- /test/fsm_advanced_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_advanced_test.erl -------------------------------------------------------------------------------- /test/fsm_compiler_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_compiler_test.erl -------------------------------------------------------------------------------- /test/fsm_comprehensive_suite_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_comprehensive_suite_test.erl -------------------------------------------------------------------------------- /test/fsm_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_comprehensive_test.erl -------------------------------------------------------------------------------- /test/fsm_enhanced_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_enhanced_test.erl -------------------------------------------------------------------------------- /test/fsm_guard_verification_demo.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_guard_verification_demo.erl -------------------------------------------------------------------------------- /test/fsm_handler_signature_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_handler_signature_test.erl -------------------------------------------------------------------------------- /test/fsm_mermaid_compile_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_mermaid_compile_test.erl -------------------------------------------------------------------------------- /test/fsm_performance_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_performance_test.erl -------------------------------------------------------------------------------- /test/fsm_simple_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_simple_test.erl -------------------------------------------------------------------------------- /test/fsm_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_test.erl -------------------------------------------------------------------------------- /test/fsm_typecheck_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_typecheck_test.erl -------------------------------------------------------------------------------- /test/fsm_verification_compile_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_verification_compile_test.erl -------------------------------------------------------------------------------- /test/fsm_verification_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_verification_integration_test.erl -------------------------------------------------------------------------------- /test/fsm_verification_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_verification_test.erl -------------------------------------------------------------------------------- /test/fsm_verifier_smt_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/fsm_verifier_smt_test.erl -------------------------------------------------------------------------------- /test/function_guards_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/function_guards_test.erl -------------------------------------------------------------------------------- /test/guard_compilation_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/guard_compilation_test.erl -------------------------------------------------------------------------------- /test/guard_optimization_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/guard_optimization_test.erl -------------------------------------------------------------------------------- /test/guard_optimizer_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/guard_optimizer_test.erl -------------------------------------------------------------------------------- /test/guard_refinement_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/guard_refinement_test.erl -------------------------------------------------------------------------------- /test/guard_smt_phase4_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/guard_smt_phase4_test.erl -------------------------------------------------------------------------------- /test/guard_type_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/guard_type_integration_test.erl -------------------------------------------------------------------------------- /test/higher_kinded_types_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/higher_kinded_types_test.erl -------------------------------------------------------------------------------- /test/inlining_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/inlining_test.erl -------------------------------------------------------------------------------- /test/instance_dispatch_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/instance_dispatch_test.erl -------------------------------------------------------------------------------- /test/integration_simple_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/integration_simple_test.erl -------------------------------------------------------------------------------- /test/integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/integration_test.erl -------------------------------------------------------------------------------- /test/lambda_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lambda_comprehensive_test.erl -------------------------------------------------------------------------------- /test/lambda_simple_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lambda_simple_test.erl -------------------------------------------------------------------------------- /test/let_expression_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/let_expression_test.erl -------------------------------------------------------------------------------- /test/lexer_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lexer_test.erl -------------------------------------------------------------------------------- /test/lsp_change_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_change_test.erl -------------------------------------------------------------------------------- /test/lsp_fsm_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_fsm_integration_test.erl -------------------------------------------------------------------------------- /test/lsp_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_integration_test.erl -------------------------------------------------------------------------------- /test/lsp_melquiades_hover_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_melquiades_hover_test.erl -------------------------------------------------------------------------------- /test/lsp_pattern_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_pattern_integration_test.erl -------------------------------------------------------------------------------- /test/lsp_smt_code_actions_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_smt_code_actions_test.erl -------------------------------------------------------------------------------- /test/lsp_smt_diagnostics_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_smt_diagnostics_test.erl -------------------------------------------------------------------------------- /test/lsp_smt_incremental_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_smt_incremental_test.erl -------------------------------------------------------------------------------- /test/lsp_smt_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/lsp_smt_test.erl -------------------------------------------------------------------------------- /test/match_comprehensive_test.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/match_comprehensive_test.cure -------------------------------------------------------------------------------- /test/match_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/match_test.erl -------------------------------------------------------------------------------- /test/melquiades_simple_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/melquiades_simple_test.erl -------------------------------------------------------------------------------- /test/melquiades_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/melquiades_test.erl -------------------------------------------------------------------------------- /test/modulo_operator_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/modulo_operator_test.beam -------------------------------------------------------------------------------- /test/modulo_operator_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/modulo_operator_test.erl -------------------------------------------------------------------------------- /test/monomorphization_edge_cases_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/monomorphization_edge_cases_test.erl -------------------------------------------------------------------------------- /test/monomorphization_simple_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/monomorphization_simple_test.erl -------------------------------------------------------------------------------- /test/monomorphization_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/monomorphization_test.erl -------------------------------------------------------------------------------- /test/multi_clause_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/multi_clause_test.erl -------------------------------------------------------------------------------- /test/multiclause_codegen_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/multiclause_codegen_test.erl -------------------------------------------------------------------------------- /test/multiclause_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/multiclause_comprehensive_test.erl -------------------------------------------------------------------------------- /test/multiclause_typecheck_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/multiclause_typecheck_test.erl -------------------------------------------------------------------------------- /test/nat_type_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/nat_type_test.erl -------------------------------------------------------------------------------- /test/negative_number_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/negative_number_test.beam -------------------------------------------------------------------------------- /test/negative_number_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/negative_number_test.erl -------------------------------------------------------------------------------- /test/ord_typeclass_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/ord_typeclass_test.erl -------------------------------------------------------------------------------- /test/pair_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pair_test.erl -------------------------------------------------------------------------------- /test/parser_advanced_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/parser_advanced_test.erl -------------------------------------------------------------------------------- /test/parser_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/parser_comprehensive_test.erl -------------------------------------------------------------------------------- /test/parser_large_file_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/parser_large_file_test.erl -------------------------------------------------------------------------------- /test/parser_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/parser_test.erl -------------------------------------------------------------------------------- /test/pattern_compilation_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pattern_compilation_test.erl -------------------------------------------------------------------------------- /test/pattern_exhaustiveness_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pattern_exhaustiveness_test.erl -------------------------------------------------------------------------------- /test/pattern_match_body_compilation_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pattern_match_body_compilation_test.erl -------------------------------------------------------------------------------- /test/pattern_matching_advanced_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pattern_matching_advanced_test.erl -------------------------------------------------------------------------------- /test/pattern_matching_edge_cases_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pattern_matching_edge_cases_test.erl -------------------------------------------------------------------------------- /test/pattern_matching_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pattern_matching_integration_test.erl -------------------------------------------------------------------------------- /test/pattern_synthesis_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pattern_synthesis_test.erl -------------------------------------------------------------------------------- /test/performance_simple_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/performance_simple_test.erl -------------------------------------------------------------------------------- /test/performance_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/performance_test.erl -------------------------------------------------------------------------------- /test/pipe_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pipe_comprehensive_test.erl -------------------------------------------------------------------------------- /test/pipe_operator_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pipe_operator_test.erl -------------------------------------------------------------------------------- /test/pipe_optimizer_stats_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pipe_optimizer_stats_test.erl -------------------------------------------------------------------------------- /test/pipeline_behavior_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/pipeline_behavior_test.erl -------------------------------------------------------------------------------- /test/polymorphism_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/polymorphism_test.beam -------------------------------------------------------------------------------- /test/polymorphism_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/polymorphism_test.erl -------------------------------------------------------------------------------- /test/profile_guided_optimization_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/profile_guided_optimization_test.erl -------------------------------------------------------------------------------- /test/record_operations_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/record_operations_test.erl -------------------------------------------------------------------------------- /test/record_type_inference_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/record_type_inference_test.erl -------------------------------------------------------------------------------- /test/recursive_type_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/recursive_type_tests.erl -------------------------------------------------------------------------------- /test/recursive_types_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/recursive_types_test.erl -------------------------------------------------------------------------------- /test/refinement_types_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/refinement_types_test.erl -------------------------------------------------------------------------------- /test/remote_call_inference_test.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/remote_call_inference_test.cure -------------------------------------------------------------------------------- /test/run_all_new_tests.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/run_all_new_tests.erl -------------------------------------------------------------------------------- /test/run_stdlib_loading_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/run_stdlib_loading_tests.sh -------------------------------------------------------------------------------- /test/sexp_parser_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/sexp_parser_integration_test.erl -------------------------------------------------------------------------------- /test/show_beam_compilation_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/show_beam_compilation_test.erl -------------------------------------------------------------------------------- /test/show_instance_compilation_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/show_instance_compilation_test.erl -------------------------------------------------------------------------------- /test/show_module_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/show_module_test.erl -------------------------------------------------------------------------------- /test/simple_match_test.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/simple_match_test.cure -------------------------------------------------------------------------------- /test/simple_pattern_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/simple_pattern_test.erl -------------------------------------------------------------------------------- /test/simple_pipe_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/simple_pipe_test.erl -------------------------------------------------------------------------------- /test/simple_recursive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/simple_recursive_test.erl -------------------------------------------------------------------------------- /test/simple_types_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/simple_types_test.erl -------------------------------------------------------------------------------- /test/smt_array_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_array_test.erl -------------------------------------------------------------------------------- /test/smt_nat_constraints_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_nat_constraints_test.erl -------------------------------------------------------------------------------- /test/smt_parser_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_parser_test.erl -------------------------------------------------------------------------------- /test/smt_process_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_process_test.erl -------------------------------------------------------------------------------- /test/smt_refinement_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_refinement_integration_test.erl -------------------------------------------------------------------------------- /test/smt_refinement_subtype_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_refinement_subtype_test.erl -------------------------------------------------------------------------------- /test/smt_simplify_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_simplify_test.erl -------------------------------------------------------------------------------- /test/smt_solver_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_solver_integration_test.erl -------------------------------------------------------------------------------- /test/smt_translator_extended_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_translator_extended_test.erl -------------------------------------------------------------------------------- /test/smt_typechecker_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/smt_typechecker_test.erl -------------------------------------------------------------------------------- /test/std_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/std_comprehensive_test.erl -------------------------------------------------------------------------------- /test/std_core_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/std_core_test.erl -------------------------------------------------------------------------------- /test/std_io_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/std_io_test.erl -------------------------------------------------------------------------------- /test/std_list_length_function_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/std_list_length_function_test.erl -------------------------------------------------------------------------------- /test/std_list_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/std_list_test.erl -------------------------------------------------------------------------------- /test/std_math_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/std_math_test.erl -------------------------------------------------------------------------------- /test/std_string_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/std_string_test.erl -------------------------------------------------------------------------------- /test/stdlib_compilation_failure_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/stdlib_compilation_failure_test.erl -------------------------------------------------------------------------------- /test/stdlib_compiler_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/stdlib_compiler_test.erl -------------------------------------------------------------------------------- /test/stdlib_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/stdlib_comprehensive_test.erl -------------------------------------------------------------------------------- /test/stdlib_loading_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/stdlib_loading_test.erl -------------------------------------------------------------------------------- /test/stdlib_loading_test_README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/stdlib_loading_test_README.md -------------------------------------------------------------------------------- /test/stdlib_show_functions_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/stdlib_show_functions_test.erl -------------------------------------------------------------------------------- /test/stdlib_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/stdlib_test.erl -------------------------------------------------------------------------------- /test/string_interpolation_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/string_interpolation_test.beam -------------------------------------------------------------------------------- /test/string_interpolation_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/string_interpolation_test.erl -------------------------------------------------------------------------------- /test/string_lexer_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/string_lexer_test.erl -------------------------------------------------------------------------------- /test/string_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/string_test.erl -------------------------------------------------------------------------------- /test/test_atom_runtime.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/test_atom_runtime.erl -------------------------------------------------------------------------------- /test/test_runner.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/test_runner.erl -------------------------------------------------------------------------------- /test/traffic_light_enhanced_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/traffic_light_enhanced_test.erl -------------------------------------------------------------------------------- /test/trait_system_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/trait_system_test.beam -------------------------------------------------------------------------------- /test/trait_system_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/trait_system_test.erl -------------------------------------------------------------------------------- /test/tuple_pattern_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/tuple_pattern_test.erl -------------------------------------------------------------------------------- /test/type_constraints_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/type_constraints_test.erl -------------------------------------------------------------------------------- /test/type_optimizer_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/type_optimizer_test.erl -------------------------------------------------------------------------------- /test/typeclass_codegen_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/typeclass_codegen_test.erl -------------------------------------------------------------------------------- /test/typeclass_derive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/typeclass_derive_test.erl -------------------------------------------------------------------------------- /test/typeclass_integration_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/typeclass_integration_test.erl -------------------------------------------------------------------------------- /test/typeclass_method_resolution_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/typeclass_method_resolution_test.erl -------------------------------------------------------------------------------- /test/typeclass_parser_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/typeclass_parser_test.erl -------------------------------------------------------------------------------- /test/typeclass_resolution_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/typeclass_resolution_test.erl -------------------------------------------------------------------------------- /test/types_hkt_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/types_hkt_test.beam -------------------------------------------------------------------------------- /test/types_hkt_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/types_hkt_test.erl -------------------------------------------------------------------------------- /test/types_simple_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/types_simple_test.erl -------------------------------------------------------------------------------- /test/types_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/types_test.erl -------------------------------------------------------------------------------- /test/union_refinement_test.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/union_refinement_test.cure -------------------------------------------------------------------------------- /test/utf8_lexer_error_test.beam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/utf8_lexer_error_test.beam -------------------------------------------------------------------------------- /test/utf8_lexer_error_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/utf8_lexer_error_test.erl -------------------------------------------------------------------------------- /test/vector_literal_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/vector_literal_test.erl -------------------------------------------------------------------------------- /test/where_clause_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/where_clause_test.erl -------------------------------------------------------------------------------- /test/z3_integration_comprehensive_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test/z3_integration_comprehensive_test.erl -------------------------------------------------------------------------------- /test_code_action.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_code_action.erl -------------------------------------------------------------------------------- /test_codegen.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_codegen.erl -------------------------------------------------------------------------------- /test_compile.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_compile.erl -------------------------------------------------------------------------------- /test_direct.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_direct.erl -------------------------------------------------------------------------------- /test_lsp_type_holes.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_lsp_type_holes.erl -------------------------------------------------------------------------------- /test_mcp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_mcp.sh -------------------------------------------------------------------------------- /test_mcp_tools.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_mcp_tools.sh -------------------------------------------------------------------------------- /test_selfcontained/test_modern_cure.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_selfcontained/test_modern_cure.erl -------------------------------------------------------------------------------- /test_type_holes.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_type_holes.erl -------------------------------------------------------------------------------- /test_typeclass_compile.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/test_typeclass_compile.erl -------------------------------------------------------------------------------- /validate_fsm_examples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/validate_fsm_examples.sh -------------------------------------------------------------------------------- /vicure/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/CHANGELOG.md -------------------------------------------------------------------------------- /vicure/MODERNIZATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/MODERNIZATION_SUMMARY.md -------------------------------------------------------------------------------- /vicure/NEOVIM_PLUGIN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/NEOVIM_PLUGIN.md -------------------------------------------------------------------------------- /vicure/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/README.md -------------------------------------------------------------------------------- /vicure/ftdetect/cure.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/ftdetect/cure.vim -------------------------------------------------------------------------------- /vicure/indent/cure.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/indent/cure.vim -------------------------------------------------------------------------------- /vicure/syntax/cure.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/syntax/cure.vim -------------------------------------------------------------------------------- /vicure/test_syntax.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/test_syntax.cure -------------------------------------------------------------------------------- /vicure/test_syntax_comprehensive.cure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/am-kantox/cure-lang/HEAD/vicure/test_syntax_comprehensive.cure --------------------------------------------------------------------------------