pub.dev "type-system" keyword
lambda_calculus 1.3.5
A library for lambda calculus. It supports parsing and evaluating lambda terms with different str...10 versions - Latest release: about 2 years ago - 1 dependent repositories - 2 stars on GitHub
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.