{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/funcons-lambda-cbv-mp","name":"funcons-lambda-cbv-mp","description":"Basic call-by-value lambda-calculus with operational semantics based on Funcons and meta-programming extensions","version":"0.1.0.2","softwareVersion":"0.1.0.2","license":"https://spdx.org/licenses/BSD-3-Clause","keywords":["bsd3","language","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"ltvanbinsbergen"}],"author":[{"@type":"Person","name":"ltvanbinsbergen"}],"copyrightHolder":[{"@type":"Person","name":"ltvanbinsbergen"}],"dateCreated":"2018-06-28","dateModified":"2018-07-08","datePublished":"2018-07-08","copyrightYear":2018,"downloadUrl":"https://hackage.haskell.org/package/funcons-lambda-cbv-mp-0.1.0.2/funcons-lambda-cbv-mp-0.1.0.2.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/funcons-lambda-cbv-mp"]}