Skip to content
/ hm Public

A small type inference/checker for a small set of expressions

4 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

azur1s/hm

1 Branch0 Tags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

azur1sazur1s
Substitute binary expression type
Apr 14, 2023
03c1bd7 · Apr 14, 2023

History

7 Commits
src
src
Apr 14, 2023
.gitignore
.gitignore
Apr 9, 2023
Cargo.lock
Cargo.lock
Apr 9, 2023
Cargo.toml
Cargo.toml
Apr 9, 2023

About

A small type inference/checker for a small set of expressions

Topics

rust type-checking hindley-milner type-inference
Activity

Stars

4 stars

Watchers

2 watching

Forks

0 forks
Report repository

Packages

No packages published

Languages