{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/CPL","name":"CPL","description":"CPL is a functional programming language based on category\ntheory. Data types are declared in a categorical manner by\nadjunctions. Data types that can be handled include the terminal\nobject, the initial object, the binary product functor, the binary\ncoproduct functor, the exponential functor, the natural number object,\nthe functor for finite lists, and the functor for infinite lists.\nEach data type is declared with its basic operations or\nmorphisms. Programs consist of these morphisms, and execution of\nprograms is the reduction of elements (i.e. special morphisms) to\ntheir canonical form.","version":"0.2.0","softwareVersion":"0.2.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/msakai/cpl","issueTracker":"https://github.com/msakai/cpl/issues","url":"https://github.com/msakai/cpl","keywords":["bsd3","compilers-interpreters","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"MasahiroSakai"}],"author":[{"@type":"Person","name":"MasahiroSakai"}],"copyrightHolder":[{"@type":"Person","name":"MasahiroSakai"}],"dateCreated":"2009-10-08","dateModified":"2026-02-06","datePublished":"2026-02-06","copyrightYear":2009,"downloadUrl":"https://hackage.haskell.org/package/CPL-0.2.0/CPL-0.2.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/CPL"],"https://www.w3.org/ns/activitystreams#likes":180,"https://forgefed.org/ns#forks":9}