polytype 1.2.4

A Hindley-Milner polymorphic typing system.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

[package]
name = "polytype"
version = "1.2.4"
authors = ["Lucas Morales <lucas@lucasem.com>"]
license = "MIT"
readme = "README.md"
repository = "https://github.com/lucasem/polytype-rs"
homepage = "https://github.com/lucasem/polytype-rs"
documentation = "https://docs.rs/polytype"
description = "A Hindley-Milner polymorphic typing system."
keywords = ["typing", "language", "type", "inference", "unification"]
categories = ["science", "data-structures", "algorithms"]

[dependencies]
itertools = "0.7"