https://github.com/mbg/hindley-milner

Template for Hindley-Milner based languages
https://github.com/mbg/hindley-milner

hindley-milner language type-inference types unification

Last synced: about 1 year ago
JSON representation

Template for Hindley-Milner based languages

• Host: GitHub
• URL: https://github.com/mbg/hindley-milner
• Owner: mbg
• License: mit
• Created: 2016-04-23T16:00:53.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2021-12-07T12:01:00.000Z (over 4 years ago)
• Last Synced: 2024-02-17T10:38:03.312Z (over 2 years ago)
• Topics: hindley-milner, language, type-inference, types, unification
• Language: Haskell
• Size: 21.5 KB
• Stars: 37
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Template for Hindley-Milner based languages

[![Hackage](https://img.shields.io/hackage/v/hindley-milner.svg?style=flat)](https://hackage.haskell.org/package/hindley-milner)

[![Build Status](https://travis-ci.org/mbg/hindley-milner.svg?branch=master)](https://travis-ci.org/mbg/hindley-milner)

## Introduction

I often find myself in need of an implementation of Hindley-Milner to experiment

with, so I wrote this library as a template implementation of a Hindley-Milner

like language. Only Algorithm W is currently implemented. The library isn't

meant to be used as a dependency for other projects, but rather as a starting

point.