Skip to content

Commit e4661c4

Browse files
am-kantoxam-kantox
committed
docs: Add comprehensive documentation for language features and development progress
- Add documentation for CLI integration, codegen analysis, and lambda expressions - Document LSP/MCP integration updates and TODO system integration - Add refinement types, pipe operator, and pattern matching status reports - Include SMT solver documentation and simplification guides - Add test coverage reports and type system analysis - Document complete typeclass implementation journey including: - Resolution and dispatch design - Import system and export functionality - Code generation enhancements - Full compilation success reports - Update API documentation with new search data and sidebar items - Update SMT solver implementation
1 parent 46c3c0f commit e4661c4

File tree

151 files changed

+13791
-1965
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

151 files changed

+13791
-1965
lines changed

‎site/api/404.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616

1717
<script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
1818
<script src="dist/handlebars.templates-K7URE6B4.js"></script>
19-
<script src="dist/sidebar_items-DC6CD34D.js"></script>
19+
<script src="dist/sidebar_items-C51205A4.js"></script>
2020
<script src="docs_config.js"></script>
2121
<script async src="dist/html-PVRIOB7F.js"></script>
2222

‎site/api/api-reference.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414

1515
<script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
1616
<script src="dist/handlebars.templates-K7URE6B4.js"></script>
17-
<script src="dist/sidebar_items-DC6CD34D.js"></script>
17+
<script src="dist/sidebar_items-C51205A4.js"></script>
1818
<script src="docs_config.js"></script>
1919
<script async src="dist/html-PVRIOB7F.js"></script>
2020

@@ -525,9 +525,9 @@ <h2 id="modules" class="section-heading">
525525

526526
</div>
527527

528-
<div class="summary-synopsis"><h1>Cure Programming Language - SMT Solver and Proof Assistant</h1><p>The SMT (Satisfiability Modulo Theories) solver provides constraint solving
529-
capabilities for Cure's dependent type system. It handles arithmetic constraints,
530-
logical reasoning, and proof generation for dependent type verification.</p></div>
528+
<div class="summary-synopsis"><h1>SMT Solver Integration for Cure</h1><p>This module provides integration with SMT (Satisfiability Modulo Theories) solvers
529+
for dependent type constraint verification and optimization. It supports multiple
530+
backend solvers including Z3, CVC5, and others.</p></div>
531531

532532
</div>
533533
<div class="summary-row">

‎site/api/api_reference.html‎

Lines changed: 59 additions & 59 deletions
Large diffs are not rendered by default.

‎site/api/cli_usage.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414

1515
<script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
1616
<script src="dist/handlebars.templates-K7URE6B4.js"></script>
17-
<script src="dist/sidebar_items-DC6CD34D.js"></script>
17+
<script src="dist/sidebar_items-C51205A4.js"></script>
1818
<script src="docs_config.js"></script>
1919
<script async src="dist/html-PVRIOB7F.js"></script>
2020

‎site/api/cure.epub‎

444 Bytes
Binary file not shown.

‎site/api/cure_action_compiler.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414

1515
<script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
1616
<script src="dist/handlebars.templates-K7URE6B4.js"></script>
17-
<script src="dist/sidebar_items-DC6CD34D.js"></script>
17+
<script src="dist/sidebar_items-C51205A4.js"></script>
1818
<script src="docs_config.js"></script>
1919
<script async src="dist/html-PVRIOB7F.js"></script>
2020

‎site/api/cure_ast.html‎

Lines changed: 21 additions & 21 deletions
Large diffs are not rendered by default.

‎site/api/cure_beam_compiler.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414

1515
<script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
1616
<script src="dist/handlebars.templates-K7URE6B4.js"></script>
17-
<script src="dist/sidebar_items-DC6CD34D.js"></script>
17+
<script src="dist/sidebar_items-C51205A4.js"></script>
1818
<script src="docs_config.js"></script>
1919
<script async src="dist/html-PVRIOB7F.js"></script>
2020

@@ -286,7 +286,7 @@ <h1 class="signature" translate="no">compile_instructions_to_forms(Instructions,
286286
</a>
287287
<h1 class="signature" translate="no">optimize_instructions(Instructions)</h1>
288288

289-
<a href="https://github.com/am-kantox/cure-lang/blob/v0.6.0/src/codegen/cure_beam_compiler.erl#L1645" class="icon-action" rel="help" aria-label="View Source">
289+
<a href="https://github.com/am-kantox/cure-lang/blob/v0.6.0/src/codegen/cure_beam_compiler.erl#L1647" class="icon-action" rel="help" aria-label="View Source">
290290
<i class="ri-code-s-slash-line" aria-hidden="true"></i>
291291
</a>
292292

@@ -306,7 +306,7 @@ <h1 class="signature" translate="no">optimize_instructions(Instructions)</h1>
306306
</a>
307307
<h1 class="signature" translate="no">validate_erlang_forms(Forms)</h1>
308308

309-
<a href="https://github.com/am-kantox/cure-lang/blob/v0.6.0/src/codegen/cure_beam_compiler.erl#L1690" class="icon-action" rel="help" aria-label="View Source">
309+
<a href="https://github.com/am-kantox/cure-lang/blob/v0.6.0/src/codegen/cure_beam_compiler.erl#L1692" class="icon-action" rel="help" aria-label="View Source">
310310
<i class="ri-code-s-slash-line" aria-hidden="true"></i>
311311
</a>
312312

‎site/api/cure_cli.html‎

Lines changed: 29 additions & 29 deletions
Large diffs are not rendered by default.

‎site/api/cure_codegen.html‎

Lines changed: 61 additions & 61 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)