{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/known-lists","name":"known-lists","description":"A type-level lists library for easy proof-of-membership programming.\nProvides data structures for talking about members of a list,\nas well as subsets,\nmaps,\nand traversals.","version":"0.1.0.0","softwareVersion":"0.1.0.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/ShapeOfMatter/known-lists","issueTracker":"https://github.com/ShapeOfMatter/known-lists/issues","keywords":["bsd3","data-structures","dependent-types","library","type-system","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"ShapeOfMatter"}],"author":[{"@type":"Person","name":"ShapeOfMatter"}],"copyrightHolder":[{"@type":"Person","name":"ShapeOfMatter"}],"dateCreated":"2026-01-30","dateModified":"2026-01-30","datePublished":"2026-01-30","copyrightYear":2026,"downloadUrl":"https://hackage.haskell.org/package/known-lists-0.1.0.0/known-lists-0.1.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/known-lists"]}