type-systems-course

Сборка проекта

./gradlew build

Запуск

java -jar build/libs/typechecker.jar

Запуск тестов

./gradlew test

Программа при запуске ожидает программу на языке Stella на stdin с EOF (Ctrl+D) в конце, после чего производит проверку типов.