{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/type-natural","name":"type-natural","description":"Type-level well-kinded natural numbers.","version":"1.3.0.2","softwareVersion":"1.3.0.2","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/konn/type-natural","issueTracker":"https://github.com/konn/type-natural/issues","url":"https://github.com/konn/type-natural","keywords":["bsd3","library","math","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"HiromiIshii"}],"author":[{"@type":"Person","name":"HiromiIshii"}],"copyrightHolder":[{"@type":"Person","name":"HiromiIshii"}],"dateCreated":"2013-06-02","dateModified":"2025-01-02","datePublished":"2025-01-02","copyrightYear":2013,"downloadUrl":"https://hackage.haskell.org/package/type-natural-1.3.0.2/type-natural-1.3.0.2.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/type-natural"],"funder":[{"@type":"Organization","url":"https://github.com/sponsors/konn"}],"https://www.w3.org/ns/activitystreams#likes":36,"https://forgefed.org/ns#forks":12}