{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/numericpeano","name":"numericpeano","description":"Value-level lazy Peano numbers for all your proof-theoretic\nand infinity-related needs. The features are:\n1) natural and integral numbers (N and Z);\n2) lazy infinities; and\n3) instances for all relevant typeclasses, meaning that\nPeano arithmetic can be used in generic functions without\nextra hassle.\nThe implementation is naive: a number of\nmagnitude n may consume O(n) bytes of memory.","version":"0.2.0.0","softwareVersion":"0.2.0.0","license":"https://spdx.org/licenses/Apache-2.0","codeRepository":"https://github.com/ombocomp/numericpeano","issueTracker":"https://github.com/ombocomp/numericpeano/issues","url":"https://github.com/ombocomp/numericpeano/","keywords":["apache","library","math","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"jtapolczai"},{"@type":"Person","name":"jtapolczai2"}],"author":[{"@type":"Person","name":"jtapolczai"},{"@type":"Person","name":"jtapolczai2"}],"copyrightHolder":[{"@type":"Person","name":"jtapolczai"},{"@type":"Person","name":"jtapolczai2"}],"dateCreated":"2014-12-28","dateModified":"2014-12-29","datePublished":"2014-12-29","copyrightYear":2014,"downloadUrl":"https://hackage.haskell.org/package/numericpeano-0.2.0.0/numericpeano-0.2.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/numericpeano"]}