You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

We here learn how to include a predefined module (SUBSTITUTION), how to use it to define a K rule (the characteristic rule of lambda calculus), and how to make proper use of variables in rules. Let us ...