Skip to content
This repository has been archived by the owner on Aug 26, 2024. It is now read-only.

A minimal Hindley-Milner type checker for a lightweight Swift like language.

Notifications You must be signed in to change notification settings

li3zhen1/Minimal-Hindley-Milner-Type-Checker

Repository files navigation

Minimal-Hindley-Milner-Type-Checker

Generate parser and visitor using ANTLR4:

java -jar antlr-4.13.1.jar -Dlanguage=Swift -visitor -Xexact-output-dir -o Sources/antlr Sources/antlr-g4/Lang.g4 

About

A minimal Hindley-Milner type checker for a lightweight Swift like language.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published