https://github.com/bynect/algorithm-w

Type inference implementation in OCaml using Algorithm W
https://github.com/bynect/algorithm-w

functional-language functional-programming hindley-milner ocaml type-inference type-system

Last synced: about 18 hours ago
JSON representation

Type inference implementation in OCaml using Algorithm W

• Host: GitHub
• URL: https://github.com/bynect/algorithm-w
• Owner: bynect
• License: mit
• Created: 2021-08-21T15:27:28.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2021-08-26T10:27:28.000Z (about 3 years ago)
• Last Synced: 2023-03-04T14:58:24.165Z (over 1 year ago)
• Topics: functional-language, functional-programming, hindley-milner, ocaml, type-inference, type-system
• Language: OCaml
• Homepage:
• Size: 58.6 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project