{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/idris","name":"idris","description":"Idris is a general purpose language with full dependent types.\nIt is compiled, with eager evaluation.\nDependent types allow types to be predicated on values,\nmeaning that some aspects of a program's behaviour can be\nspecified precisely in the type. The language is closely\nrelated to Epigram and Agda. There is a tutorial at\nhttps://www.idris-lang.org/documentation.\nFeatures include:\n\nFull, first class, dependent types with dependent pattern matching\n\nwhere clauses, with rule, case expressions,\npattern matching let and lambda bindings\n\nInterfaces (similar to type classes), monad comprehensions\n\ndo notation, idiom brackets, syntactic conveniences for lists,\ntuples, dependent pairs\n\nTotality checking\n\nCoinductive types\n\nIndentation significant syntax, extensible syntax\n\nCumulative universes\n\nSimple foreign function interface (to C)\n\nHugs style interactive environment","version":"1.3.4","softwareVersion":"1.3.4","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/idris-lang/Idris-dev","issueTracker":"https://github.com/idris-lang/Idris-dev/issues","url":"https://www.idris-lang.org/","keywords":["bsd3","compilers-interpreters","dependent-types","library","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"EdwinBrady"},{"@type":"Person","name":"niklasl"}],"author":[{"@type":"Person","name":"EdwinBrady"},{"@type":"Person","name":"niklasl"}],"copyrightHolder":[{"@type":"Person","name":"EdwinBrady"},{"@type":"Person","name":"niklasl"}],"dateCreated":"2009-12-20","dateModified":"2021-10-22","datePublished":"2021-10-22","copyrightYear":2009,"downloadUrl":"https://hackage.haskell.org/package/idris-1.3.4/idris-1.3.4.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/idris"],"https://www.w3.org/ns/activitystreams#likes":3477,"https://forgefed.org/ns#forks":630}