{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/dependent-sum","name":"dependent-sum","description":"Dependent sums and supporting typeclasses for comparing and displaying them","version":"0.6.1","softwareVersion":"0.6.1","license":"https://spdx.org/licenses/Other","codeRepository":"https://github.com/obsidiansystems/dependent-sum","issueTracker":"https://github.com/obsidiansystems/dependent-sum/issues","url":"https://github.com/obsidiansystems/dependent-sum","keywords":["data","dependent-types","library","public-domain","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"BertramFelgenhauer"},{"@type":"Person","name":"JamesCook"},{"@type":"Person","name":"JohnEricson"},{"@type":"Person","name":"abrar"},{"@type":"Person","name":"RyanTrinkle"},{"@type":"Person","name":"3noch"},{"@type":"Person","name":"maralorn"},{"@type":"Person","name":"DanBornside"},{"@type":"Person","name":"alexfmpe"},{"@type":"Person","name":"ymeister"}],"author":[{"@type":"Person","name":"BertramFelgenhauer"},{"@type":"Person","name":"JamesCook"},{"@type":"Person","name":"JohnEricson"},{"@type":"Person","name":"abrar"},{"@type":"Person","name":"RyanTrinkle"},{"@type":"Person","name":"3noch"},{"@type":"Person","name":"maralorn"},{"@type":"Person","name":"DanBornside"},{"@type":"Person","name":"alexfmpe"},{"@type":"Person","name":"ymeister"}],"copyrightHolder":[{"@type":"Person","name":"BertramFelgenhauer"},{"@type":"Person","name":"JamesCook"},{"@type":"Person","name":"JohnEricson"},{"@type":"Person","name":"abrar"},{"@type":"Person","name":"RyanTrinkle"},{"@type":"Person","name":"3noch"},{"@type":"Person","name":"maralorn"},{"@type":"Person","name":"DanBornside"},{"@type":"Person","name":"alexfmpe"},{"@type":"Person","name":"ymeister"}],"dateCreated":"2011-07-13","dateModified":"2019-08-04","datePublished":"2019-08-04","copyrightYear":2011,"downloadUrl":"https://hackage.haskell.org/package/dependent-sum-0.6.1/dependent-sum-0.6.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/dependent-sum"],"https://www.w3.org/ns/activitystreams#likes":57,"https://forgefed.org/ns#forks":43}