https://github.com/aar10n/hindley_milner

Demo Hindley-Milner type solver
https://github.com/aar10n/hindley_milner

Last synced: 11 days ago
JSON representation

Demo Hindley-Milner type solver

• Host: GitHub
• URL: https://github.com/aar10n/hindley_milner
• Owner: aar10n
• Created: 2023-09-06T23:12:01.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-09-06T23:16:01.000Z (over 1 year ago)
• Last Synced: 2024-12-17T10:44:54.732Z (24 days ago)
• Language: Rust
• Size: 13.7 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Hindley-Milner Demo

This is demo implementation of the [Hindley-Milner](https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system) type solving algorithm. 

![screenshot](https://user-images.githubusercontent.com/15055317/266161375-93d8fb4d-1998-4a97-a3b6-1cb87af37ecf.png)