Skip to content
/ hindley-milner Public template

Template for Hindley-Milner based languages

License

Notifications You must be signed in to change notification settings

mbg/hindley-milner

Repository files navigation

Template for Hindley-Milner based languages

Hackage Build Status

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.