K Tutorial 1 Lesson 2

Summary

Defining LAMBDA Module Importing, Rules, Variables. Defining LAMBDA++ Semantic (Non-Syntactic) Computation Items. Defining IMP Defining a Configuration. Defining Type Systems Substitution-Based Higher-Order Type Systems. Defining IMP++ Configuration Refinement; Freshness. Defining LAMBDA Evaluation Strategies using Strictness. Defining LAMBDA Generating Documentation; Latex Attributes. Defining LAMBDA Syntax Modules and Basic Defining LAMBDA Adding Builtins; Side Conditions. Defining LAMBDA Selective Strictness; Anonymous Variables. Defining IMP Configuration Abstraction, Part If you're new to crochet and just finished your foundation chain or first row — what comes next? Let's talk about how to start the ...