{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/nat-optics","name":"nat-optics","description":"Refinement types for natural numbers with an optics interface","version":"1.0.1.1","softwareVersion":"1.0.1.1","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/typeclasses/nat-optics","issueTracker":"https://github.com/typeclasses/nat-optics/issues","url":"https://github.com/typeclasses/nat-optics","keywords":["library","mit","numeric","optics","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"chris_martin"},{"@type":"Person","name":"Monoid_Mary"}],"author":[{"@type":"Person","name":"chris_martin"},{"@type":"Person","name":"Monoid_Mary"}],"copyrightHolder":[{"@type":"Person","name":"chris_martin"},{"@type":"Person","name":"Monoid_Mary"}],"dateCreated":"2021-07-08","dateModified":"2025-01-21","datePublished":"2025-01-21","copyrightYear":2021,"downloadUrl":"https://hackage.haskell.org/package/nat-optics-1.0.1.1/nat-optics-1.0.1.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/nat-optics"],"https://www.w3.org/ns/activitystreams#likes":2,"https://forgefed.org/ns#forks":1}