gardenprojectsbookmarks

Bookmarks tagged hm

View all bookmarks

    Anyone know of any @rustlang implementations of a Hindley-Milner type checker?
    twitter.com/rtfeldman/status/1140133526530121728
    rusthm
    Saved June 16, 2019
    Algorithm W in rust
    github.com/nwoeanhinnogaehr/algorithmw-rust
    rusttypeshm
    Saved June 16, 2019
    Hindley Milner in rust
    github.com/tcr/rust-hindley-milner/blob/master/src/lib.rs
    rusttypeshm
    Saved June 16, 2019
♥️