From 2041873c35a82d9089aa2a0b7f0e4ccf581bafe1 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 14 Jun 2017 10:58:04 +0200 Subject: [PATCH] Add readme file. --- samples/lambdacalc/README.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 samples/lambdacalc/README.md diff --git a/samples/lambdacalc/README.md b/samples/lambdacalc/README.md new file mode 100644 index 00000000..90af84f2 --- /dev/null +++ b/samples/lambdacalc/README.md @@ -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