From 0819ef0a4022ce05e4693a77af1c3b51f41079ae Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 19 Aug 2018 14:38:11 +0200 Subject: [PATCH] Add a reference to the article on typechecking STLC to readme --- samples/lambdacalc/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/samples/lambdacalc/README.md b/samples/lambdacalc/README.md index 66dc0947..eebcae94 100644 --- a/samples/lambdacalc/README.md +++ b/samples/lambdacalc/README.md @@ -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: