From 75d124dccb246a92e3a9c8bb8f0978838ba06fc9 Mon Sep 17 00:00:00 2001 From: Luc Tielen Date: Sun, 17 Nov 2019 13:11:13 +0100 Subject: [PATCH] Update README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a2c9847..c751720 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ but adds some extra things: The [type-variables branch](https://github.com/luc-tielen/typesystem/tree/type-variables) contains some additional code that allows users to specify types containing -type variables. +type variables (unification system based on the Purescript typechecker). ## Running the examples