Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: 📝 Added section 2 docs #3639

Merged
merged 3 commits into from
Sep 15, 2023
Merged

docs: 📝 Added section 2 docs #3639

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
eb48109
docs: :memo: Added section 2 docs
Sep 14, 2023
d980504
fix: :bug: Removed back quote in toc
Sep 14, 2023
c6a79b8
Merge branch 'develop' into section-2
rv-jenkins Sep 15, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 18 additions & 0 deletions web/toc.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,24 @@ output:
- [Lesson 1.20: K Backends and the Haskell Backend](/k-distribution/k-tutorial/1_basic/20_backends/README.md)
- [Lesson 1.21: Unification and Symbolic Execution](/k-distribution/k-tutorial/1_basic/21_symbolic_execution/README.md)
- [Lesson 1.22: K Deductive Verification](/k-distribution/k-tutorial/1_basic/22_proofs/README.md)
- [Section 2: Intermediate K Concepts](/k-distribution/k-tutorial/2_intermediate/README.md)
- [Lesson 2.1: Macros, Aliases, and Anywhere Rules](/k-distribution/k-tutorial/2_intermediate/01_macros/README.md)
- [Lesson 2.2: Fresh Constants](/k-distribution/k-tutorial/2_intermediate/02_fresh_constants/README.md)
- [Lesson 2.3: KLabels and Abstract Syntax](/k-distribution/k-tutorial/2_intermediate/03_klabels/README.md)
- [Lesson 2.4: Overloaded Symbols](/k-distribution/k-tutorial/2_intermediate/04_overloading/README.md)
- [Lesson 2.5: Matching Logic Connectives and #Or Patterns](/k-distribution/k-tutorial/2_intermediate/05_matching_logic/README.md)
- [Lesson 2.6: Function Context](/k-distribution/k-tutorial/2_intermediate/06_function_context/README.md)
- [Lesson 2.7: Record Productions and Named Nonterminals](/k-distribution/k-tutorial/2_intermediate/07_record_productions/README.md)
- [Lesson 2.8: #fun and #let](/k-distribution/k-tutorial/2_intermediate/08_fun_and_let/README.md)
- [Lesson 2.9: #as Patterns](/k-distribution/k-tutorial/2_intermediate/09_as/README.md)
- [Lesson 2.10: The Matching Operators, :=K and :/=K](/k-distribution/k-tutorial/2_intermediate/10_matching_operator/README.md)
- [Lesson 2.11: Uncommon Evaluation Order Concepts](/k-distribution/k-tutorial/2_intermediate/11_evaluation_order/README.md)
- [Lesson 2.12: IEEE 754 Floating Point and Fixed Width Integers](/k-distribution/k-tutorial/2_intermediate/12_floats_and_machine_ints/README.md)
- [Lesson 2.13: Alpha-renaming-aware Substitution](/k-distribution/k-tutorial/2_intermediate/13_substitution/README.md)
- [Lesson 2.14: File I/O](/k-distribution/k-tutorial/2_intermediate/14_io/README.md)
- [Lesson 2.15: String Buffers and Byte Sequences](/k-distribution/k-tutorial/2_intermediate/15_string_buffers_and_bytes/README.md)
- [Lesson 2.16: The Intermediate Language of K, KORE](/k-distribution/k-tutorial/2_intermediate/16_kore/README.md)
- [Lesson 2.17: Debugging Proofs using the Haskell Backend REPL](/k-distribution/k-tutorial/2_intermediate/17_debugging_proofs/README.md)
- [K User Manual](/docs/user_manual.md)
- [K Cheat Sheet](/docs/cheat_sheet.md)
- [K Tool Reference](/docs/ktools.md)
Expand Down