{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/lean-peano","name":"lean-peano","description":"Please see the README on GitHub at https://github.com/oisdk/lean-peano#readme","version":"1.0.2.0","softwareVersion":"1.0.2.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/oisdk/lean-peano","issueTracker":"https://github.com/oisdk/lean-peano/issues","url":"https://github.com/oisdk/lean-peano#readme","keywords":["library","mit","numeric","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"oisdk"}],"author":[{"@type":"Person","name":"oisdk"}],"copyrightHolder":[{"@type":"Person","name":"oisdk"}],"dateCreated":"2020-02-22","dateModified":"2020-05-02","datePublished":"2020-05-02","copyrightYear":2020,"downloadUrl":"https://hackage.haskell.org/package/lean-peano-1.0.2.0/lean-peano-1.0.2.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/lean-peano"],"https://www.w3.org/ns/activitystreams#likes":3}