{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:pub/lambda_calculus","name":"lambda_calculus","description":"A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.","version":"1.3.5","softwareVersion":"1.3.5","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/MMZK1526/lambda_calculus","issueTracker":"https://github.com/MMZK1526/lambda_calculus/issues","programmingLanguage":{"@type":"ComputerLanguage","name":"Dart"},"dateCreated":"2023-07-15","dateModified":"2023-12-01","datePublished":"2023-12-01","copyrightYear":2023,"downloadUrl":"https://pub.dev/packages/lambda_calculus/versions/1.3.5.tar.gz","softwareHelp":{"@type":"WebSite","url":"https://pub.dev/documentation/lambda_calculus/"},"applicationCategory":"pub","runtimePlatform":"pub","developmentStatus":"active","sameAs":["https://pub.dev/packages/lambda_calculus"],"https://www.w3.org/ns/activitystreams#likes":2}