{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/glambda","name":"glambda","description":"This is an interpreter for the simply-typed lambda calculus. It is\nwritten making heavy use of generalized algebraic datatypes (GADTs), and is\nmeant to serve as an example how how these GADTs can be useful. See\nthe GitHub repo for more information about the syntax for the language\nand interpreter commands.","version":"1.0.2","softwareVersion":"1.0.2","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/goldfirere/glambda","issueTracker":"https://github.com/goldfirere/glambda/issues","url":"https://github.com/goldfirere/glambda","keywords":["bsd3","compilers-interpreters","library","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"RichardEisenberg"}],"author":[{"@type":"Person","name":"RichardEisenberg"}],"copyrightHolder":[{"@type":"Person","name":"RichardEisenberg"}],"dateCreated":"2015-05-22","dateModified":"2017-11-27","datePublished":"2017-11-27","copyrightYear":2015,"downloadUrl":"https://hackage.haskell.org/package/glambda-1.0.2/glambda-1.0.2.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/glambda"],"https://www.w3.org/ns/activitystreams#likes":228,"https://forgefed.org/ns#forks":31}