natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/samples/lambdacalc
History
Fedor Isakov e29a0576e2 Rename the root project and artifacts to "coderules". 2018-07-18 15:54:52 +02:00
..
.mps Rename the root project and artifacts to "coderules". 2018-07-18 15:54:52 +02:00
languages/sample.lambdacalc Include lambdacalc sample into the common build. 2018-07-18 15:54:50 +02:00
solutions Rename the root project and artifacts to "coderules". 2018-07-18 15:54:52 +02:00
.gitignore Initial commit. A simple functional language with numeric and string constants, single-argument abstractions and let bindings. 2018-07-18 15:54:47 +02:00
README.md Update README. 2018-07-18 15:54:49 +02:00
build.gradle Include lambdacalc sample into the common build. 2018-07-18 15:54:50 +02:00
build.xml Rename the root project and artifacts to "coderules". 2018-07-18 15:54:52 +02:00

README.md

Type Checking Lambda Calculus

This is a demo of type checking simply typed lambda calculus using constraint rules.

This project is made with JetBrains MPS using the plugin that provides an experimental feature: type checking with constraint rules.

Instructions

  1. Install the latest version of JetBrains MPS (latest release)

  2. Download the type checking plugin from this project (see downloads for the latest release)

  3. Install the plugin to your local drive (example for macOS):

    unzip typechecking-0.2.zip -d ~/Library/Application\ Support/MPS2017.2/

  4. Clone this repository and open the project with MPS

  5. Execute 'Rebuild Project'