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

Add a reference to the article on typechecking STLC to readme

This commit is contained in:
Fedor Isakov 2018-08-19 14:38:11 +02:00
parent 27becb70a1
commit 0819ef0a40
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
samples/lambdacalc/README.md
View File

@ -4,6 +4,8 @@ This is a demo of type checking simply typed lambda calculus using constraint ru
This project is made with [JetBrains MPS](https://www.jetbrains.com/mps/) using *coderules* experimental extension.
Details of implementation can be found in the [article](https://github.com/fisakov/typechecking-lambdacalc) available online.
### Installation
The code in this project relies on *coderules* languages and solutions to be available, either as a project library or as a plugin. There are two possibilities to install coderules: