{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/caledon","name":"caledon","description":"higher order dependently typed logic programing","version":"3.2.2.0","softwareVersion":"3.2.2.0","license":"https://spdx.org/licenses/GPL-3.0-only","codeRepository":"https://github.com/mmirman/caledon","issueTracker":"https://github.com/mmirman/caledon/issues","url":"https://github.com/mmirman/caledon","keywords":["gpl","interpreter","language","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"MatthewMirman"}],"author":[{"@type":"Person","name":"MatthewMirman"}],"copyrightHolder":[{"@type":"Person","name":"MatthewMirman"}],"dateCreated":"2012-12-09","dateModified":"2016-07-06","datePublished":"2016-07-06","copyrightYear":2012,"downloadUrl":"https://hackage.haskell.org/package/caledon-3.2.2.0/caledon-3.2.2.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/caledon"],"https://www.w3.org/ns/activitystreams#likes":174,"https://forgefed.org/ns#forks":9}