Versions Packages Information History Related Badges Report

Information for idris

Package names

  • idris (8)
  • idris-git

Versions

  • v0.11.r118.cf0b54e
  • 1.3.0 (6)
  • 1.1.1
  • 1.0
  • 0.12
  • 0.9.9.1

Repositories

Categories

  • Unspecified

Licenses

  • BSD
  • BSD-3-Clause
  • BSDL
  • Modified BSD
  • custom:BSD3

Summaries

  • A Dependently Typed Functional Programming Language
  • A Language with Dependent Types
  • Functional Programming Language with Dependent Types (2)
  • General purpose language with full dependent types
  • 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.
  • Pure functional programming language with dependent types

Maintainers

Homepages