https://github.com/bollu/unification

polymorphic type inference with unification from the Dragon book
https://github.com/bollu/unification

Last synced: 2 days ago
JSON representation

polymorphic type inference with unification from the Dragon book

• Host: GitHub
• URL: https://github.com/bollu/unification
• Owner: bollu
• Created: 2020-12-20T16:03:20.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2020-12-20T17:35:03.000Z (about 4 years ago)
• Last Synced: 2023-08-04T01:05:28.130Z (over 1 year ago)
• Language: C++
• Size: 13.7 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project