lmntal/lavit — pull request #6 by k-ueda (2014-07-13 06:49:27+00:00)
Title: added a type unification example

Unification over types of simple functional programs,
encoded using hyperlinks for type variables.