[package] name = "malk-core" version = "0.1.1" authors = ["Andrew Cann "] repository = "https://github.com/canndrew/malk-core" homepage = "https://github.com/canndrew/malk-core" readme = "README.md" description = "Partial implementation of dependent types" license = "GPL-3.0"