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 67ebe51be1 Applied the migration. 2018-07-18 15:54:49 +02:00
..
.mps Updated to the latest version of typechecking plugin, migrated the code to work correctly. 2018-07-18 15:54:49 +02:00
languages/sample.lambdacalc Applied the migration. 2018-07-18 15:54:49 +02:00
solutions/sample.demo Migrated to the latest MPS release and typechecking plugin. 2018-07-18 15:54:49 +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

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'