Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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: 6 months ago - 1 dependent repositories - 2 stars on GitHub