{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/lambda-cube@0.2.0.0","name":"lambda-cube","description":"Haskell implementation of the following 4 lambda calculi:\n\nSimply typed lambda calculus\n\nSystem F\n\nSystem F omega underbar\n\nSystem F omega","version":"0.2.0.0","softwareVersion":"0.2.0.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/Ailrun/lambda-cube","issueTracker":"https://github.com/Ailrun/lambda-cube/issues","url":"https://github.com/Ailrun/lambda-cube#readme","keywords":["library","mit","utilities","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"Ailrun"}],"author":[{"@type":"Person","name":"Ailrun"}],"copyrightHolder":[{"@type":"Person","name":"Ailrun"}],"dateCreated":"2021-08-24","dateModified":"2022-12-05","datePublished":"2021-08-24","copyrightYear":2021,"downloadUrl":"https://hackage.haskell.org/package/lambda-cube-0.2.0.0/lambda-cube-0.2.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/lambda-cube-0.2.0.0"],"https://www.w3.org/ns/activitystreams#likes":7}