{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/lambda","name":"lambda","description":"A collection of interpreters, type checkers, and REPLs implemented in Haskell. Currently, the following languages are supported:\n\nUntyped lambda calculus\n\nSK combinator calculus\n\nSystem F\n\nHindley-Milner type system\n\nCalculus of constructions\n\nYou can access the different REPLs by passing an argument to the executable: \"lambda\", \"sk\", \"systemf\", \"hm\", or \"coc\". For more information, see the manual below.","version":"0.1.0.0","softwareVersion":"0.1.0.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/UnaryPlus/lambda","issueTracker":"https://github.com/UnaryPlus/lambda/issues","url":"https://github.com/UnaryPlus/lambda","keywords":["compilers-interpreters","mit","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"OwenBechtel"}],"author":[{"@type":"Person","name":"OwenBechtel"}],"copyrightHolder":[{"@type":"Person","name":"OwenBechtel"}],"dateCreated":"2022-07-28","dateModified":"2022-07-28","datePublished":"2022-07-28","copyrightYear":2022,"downloadUrl":"https://hackage.haskell.org/package/lambda-0.1.0.0/lambda-0.1.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/lambda"],"https://www.w3.org/ns/activitystreams#likes":3}