{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/gdp","name":"gdp","description":"Reason about invariants and preconditions with ghosts of departed proofs.\nThe GDP library implements building blocks for creating and working with\nAPIs that may carry intricate preconditions for proper use. As a library\nauthor, you can use gdp to encode your API's preconditions and invariants,\nso that they will be statically checked at compile-time.\nAs a library user, you can use the gdp deduction rules to codify your\nproofs that you are using the library correctly.","version":"0.0.3.0","softwareVersion":"0.0.3.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/matt-noonan/gdp","issueTracker":"https://github.com/matt-noonan/gdp/issues","url":"https://github.com/matt-noonan/gdp#readme","keywords":["bsd3","library","program","safe","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"mnoonan"}],"author":[{"@type":"Person","name":"mnoonan"}],"copyrightHolder":[{"@type":"Person","name":"mnoonan"}],"dateCreated":"2018-06-17","dateModified":"2019-11-13","datePublished":"2019-11-13","copyrightYear":2018,"downloadUrl":"https://hackage.haskell.org/package/gdp-0.0.3.0/gdp-0.0.3.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/gdp"],"https://www.w3.org/ns/activitystreams#likes":62,"https://forgefed.org/ns#forks":11}