Skip to content

Verification of the Hindley-Milner type inference algorithm

Notifications You must be signed in to change notification settings

Alex1005a/hindley-milner-verification

About

Verification of the Hindley-Milner type inference algorithm

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages