{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/numtype-dk","name":"numtype-dk","description":"This package provides type level representations of the\n(positive and negative) integers and basic operations (addition,\nsubtraction, multiplication, division, exponentiation) on these.\nThe numtype-dk package differs from the numtype package in that\nthe NumTypes are implemented using Data Kinds, TypeNats, and\nClosed Type Families rather than Functional Dependencies.\nRequires GHC 7.8 or later.","version":"0.5.0.3","softwareVersion":"0.5.0.3","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/bjornbm/numtype-dk","issueTracker":"https://github.com/bjornbm/numtype-dk/issues","url":"https://github.com/bjornbm/numtype-dk","keywords":["bsd3","library","math","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"BjornBuckwalter"},{"@type":"Person","name":"dmcclean"}],"author":[{"@type":"Person","name":"BjornBuckwalter"},{"@type":"Person","name":"dmcclean"}],"copyrightHolder":[{"@type":"Person","name":"BjornBuckwalter"},{"@type":"Person","name":"dmcclean"}],"dateCreated":"2015-05-11","dateModified":"2021-06-06","datePublished":"2021-06-06","copyrightYear":2015,"downloadUrl":"https://hackage.haskell.org/package/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/numtype-dk"],"https://www.w3.org/ns/activitystreams#likes":1,"https://forgefed.org/ns#forks":2}