Visualizing type checkers

Visualize the different phases of type checkers defined with the type checker library.

Installation

This project can be built with JDK 8 and sbt version 0.13.18.

To compile and start the application, run:

sbt run

Usage

The example application in this project provides a type checker for a simply-typed lambda calculus with built-in types for integers (int) and booleans (bool) as well as some built-in functions on integers and booleans (+, -, *, /, <, >, =, true, false).

The Derivation Tree View shows the derivation tree annotated with constraints for the given program.

The Constraint Solver View allows the user to step through the constraint solving process.