[package] name = "roussillon-type-system" description = "A type system for a programming language" authors = ["Sébastien GELDREICH "] version = "0.3.8" edition = "2021" license = "MIT" keywords = ["type-system", "types"] categories = ["data-structures"] # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [features] default = [] experiments = [] [dependencies]