{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/lambdascript","name":"lambdascript","description":"Instructional program detailing the beta reduction of typed and untyped lambda terms","version":"0.2.4","softwareVersion":"0.2.4","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/chuckcscccl/lambdascript","issueTracker":"https://github.com/chuckcscccl/lambdascript/issues","keywords":["education","lambda","lambda-calculus","beta-reduction"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Rust"},"maintainer":[{"@type":"Person","name":"chuckcscccl","url":"https://github.com/chuckcscccl"}],"author":[{"@type":"Person","name":"chuckcscccl","url":"https://github.com/chuckcscccl"}],"copyrightHolder":[{"@type":"Person","name":"chuckcscccl","url":"https://github.com/chuckcscccl"}],"dateCreated":"2022-02-10","dateModified":"2025-02-07","datePublished":"2025-02-07","copyrightYear":2022,"downloadUrl":"https://static.crates.io/crates/lambdascript/lambdascript-0.2.4.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/lambdascript/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/lambdascript/"],"https://www.w3.org/ns/activitystreams#likes":4}