https://github.com/frankbro/lambda-rs

Simple algorithm w type inference in rust
https://github.com/frankbro/lambda-rs

algorithm-w

Last synced: 29 days ago
JSON representation

Simple algorithm w type inference in rust

• Host: GitHub
• URL: https://github.com/frankbro/lambda-rs
• Owner: FrankBro
• Created: 2021-02-21T02:16:17.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2022-08-10T03:24:14.000Z (almost 4 years ago)
• Last Synced: 2025-01-28T17:14:40.088Z (over 1 year ago)
• Topics: algorithm-w
• Language: Rust
• Homepage:
• Size: 18.6 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Lambda-rs

Rewriting algorithm w in Rust using indexes for type variables.

I had rewritten this in F# from ocaml and the usage of ref made it simple but this can't work in rust so I opted for using indexes.

Original implementation from this repo: https://github.com/tomprimozic/type-systems