rusttyc 0.4.1

A library for writing type checkers with a lattice-like type system in rust.
Documentation 
[[example]]
name = "parametrized_function"

[package]
authors = ["Maximilian Schwenger <maximilian.schwenger@cispa.de>"]
categories = ["parsing"]
description = "A library for writing type checkers with a lattice-like type system in rust."
documentation = "https://schwenger.github.io/RustTyC/"
edition = "2018"
keywords = ["Types", "TypeChecker", "Lattice"]
license = "MIT"
name = "rusttyc"
repository = "https://github.com/Schwenger/RustTyC/"
version = "0.4.1"