Versions Packages Information History Related Badges Report

Information for idris

Package names

  • idris (9)
  • idris-git (1)

Versions

  • v0.11.r118.cf0b54e (1)
  • 1.3.0 (4)
  • 1.2.0-with-packages (1)
  • 1.1.1 (1)
  • 1.0 (2)
  • 0.12 (1)
  • 0.9.9.1 (1)

Repositories

Categories

  • Unspecified (1)

Licenses

  • BSD (1)
  • BSD-3-Clause (1)
  • BSDL (1)
  • Modified BSD (1)
  • custom:BSD3 (1)

Summaries

  • A Dependently Typed Functional Programming Language (1)
  • A Language with Dependent Types (1)
  • Functional Programming Language with Dependent Types (2)
  • General purpose language with full dependent types (1)
  • Idris is a functional programming language with dependent types, where values are constrained and pattern-matched by an expressive type system to avoid logic misbehaviours. It's a general purpose language, but also supports interactive theorem-proving, is sufficient performant trough eager and LLVM compilation. It has monads, type classes, comprehensions, lambda bindings, where and with clauses, expressions in case statements, an indendation-based and extendable syntax, lists, tuples and pairs, and comes with a Hugs-style REPL. (1)
  • Pure functional programming language with dependent types (1)

Maintainers

Homepages