{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/cubical","name":"cubical","description":"Cubical implements an experimental simple type\nchecker for type theory with univalence with an\nevaluator for closed terms.","version":"0.2.0","softwareVersion":"0.2.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/simhu/cubical","issueTracker":"https://github.com/simhu/cubical/issues","url":"https://github.com/simhu/cubical","keywords":["dependent-types","mit","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"AndersMortberg"}],"author":[{"@type":"Person","name":"AndersMortberg"}],"copyrightHolder":[{"@type":"Person","name":"AndersMortberg"}],"dateCreated":"2013-12-19","dateModified":"2014-04-27","datePublished":"2014-04-27","copyrightYear":2013,"downloadUrl":"https://hackage.haskell.org/package/cubical-0.2.0/cubical-0.2.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/cubical"],"https://www.w3.org/ns/activitystreams#likes":145,"https://forgefed.org/ns#forks":10}