polytype 7.0.1

A Hindley-Milner polymorphic typing system.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

[dependencies.indexmap]
version = "2.1.0"

[dependencies.itertools]
version = "0.12.0"

[dependencies.parking_lot]
version = "0.12.1"

[dependencies.winnow]
version = "0.5.28"

[features]
default = ["parser"]
parser = []

[package]
authors = ["Lore Anaya Pozo <lore.a.pozo@outlook.com>", "Joshua S. Rule <joshua.s.rule@gmail.com>"]
categories = ["science", "data-structures", "algorithms"]
description = "A Hindley-Milner polymorphic typing system."
documentation = "https://docs.rs/polytype"
edition = "2018"
homepage = "https://github.com/lorepozo/polytype-rs"
keywords = ["typing", "language", "type", "inference", "unification"]
license = "MIT"
name = "polytype"
readme = "README.md"
repository = "https://github.com/lorepozo/polytype-rs"
version = "7.0.1"