{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/hoq","name":"hoq","description":"\n\nPackage maintainers\n\nFor package maintainers and hackage trustees\n\nCandidates\n\n\n\nA language based on homotopy type theory with an interval","version":"0.3","softwareVersion":"0.3","license":"https://spdx.org/licenses/GPL-2.0-only","codeRepository":"https://github.com/valis/hoq","issueTracker":"https://github.com/valis/hoq/issues","url":"http://github.com/valis/hoq","keywords":["dependent-types","gpl","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"valis"}],"author":[{"@type":"Person","name":"valis"}],"copyrightHolder":[{"@type":"Person","name":"valis"}],"dateCreated":"2014-07-11","dateModified":"2014-09-27","datePublished":"2014-09-27","copyrightYear":2014,"downloadUrl":"https://hackage.haskell.org/package/hoq-0.3/hoq-0.3.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/hoq"],"https://www.w3.org/ns/activitystreams#likes":83,"https://forgefed.org/ns#forks":4}