31 lines
1.2 KiB
Markdown
31 lines
1.2 KiB
Markdown
# 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 *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:
|
|
|
|
1. Follow the instructions for building the root project, or
|
|
2. Install the compiled plugin (see the latest release on GitHub).
|
|
|
|
## License
|
|
|
|
Copyright 2014-2018 JetBrains s.r.o.
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
you may not use this file except in compliance with the License.
|
|
You may obtain a copy of the License at
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
See the License for the specific language governing permissions and
|
|
limitations under the License.
|