https://github.com/jozefg/higher-order-unification

A small implementation of higher-order unification
https://github.com/jozefg/higher-order-unification

Last synced: about 2 months ago
JSON representation

A small implementation of higher-order unification

• Host: GitHub
• URL: https://github.com/jozefg/higher-order-unification
• Owner: jozefg
• License: mit
• Created: 2017-08-05T10:23:05.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-08-06T10:17:19.000Z (almost 8 years ago)
• Last Synced: 2025-04-12T18:13:42.876Z (about 2 months ago)
• Language: Haskell
• Size: 30.3 KB
• Stars: 188
• Watchers: 13
• Forks: 5
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
## higher-order-unification

A simple, concise implementation of Huet's algorithm. Written because

it's difficult to translate the simple prose explanations of

algorithms often adopted by the unification community to a working

piece of code. The code is documented fully in `explanation.md`.

An example of how higher-order unification might be used may be found

in `src/Client.hs` which provides a simple type-inference/checking

algorithm for a dependently typed language with `Type : Type`.