natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add readme file.

This commit is contained in:
Fedor Isakov 2017-06-14 10:58:04 +02:00
parent 58c4272111
commit 2041873c35
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
samples/lambdacalc/README.md Normal file
View File

@ -0,0 +1,16 @@
# 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](https://www.jetbrains.com/mps/) using the [plugin](https://github.com/fisakov/constraints-typechecking) that provides an experimental feature: type checking with constraint rules.
## Instructions
1. Install the latest version of [JetBrains MPS](https://www.jetbrains.com/mps/download) (2017.1)
2. Download the type checking plugin from [this](https://github.com/fisakov/constraints-typechecking) project (see downloads for the latest release)
3. Install the plugin to your local drive (example for macOS):
`unzip typechecking-0.1.zip -d ~/Library/Application\ Support/MPS2017.1/`
4. Clone this repository and open the project with MPS