{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/Sit","name":"Sit","description":"Sit = Size-irrelevant types\n\nSit is a prototypical language with an Agda-compatible syntax.\nIt has dependent function types, universes, sized natural numbers,\nand case and recursion over natural numbers.\nThere is a relevant and an irrelevant quantifier over sizes.\nFor an example, see file test/Test.agda.","version":"0.2023.8.3","softwareVersion":"0.2023.8.3","license":"https://spdx.org/licenses/Other","codeRepository":"https://github.com/andreasabel/Sit","issueTracker":"https://github.com/andreasabel/Sit/issues","url":"https://github.com/andreasabel/Sit","keywords":["dependent-types","library","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"AndreasAbel"}],"author":[{"@type":"Person","name":"AndreasAbel"}],"copyrightHolder":[{"@type":"Person","name":"AndreasAbel"}],"dateCreated":"2017-05-15","dateModified":"2023-08-03","datePublished":"2023-08-03","copyrightYear":2017,"downloadUrl":"https://hackage.haskell.org/package/Sit-0.2023.8.3/Sit-0.2023.8.3.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/Sit"],"https://www.w3.org/ns/activitystreams#likes":6}