| Name : idris
| |
| Version : 1.0
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 9.25
| Date : 2017-08-03 14:00:00
|
| Group : Development/Libraries/Haskell
| Source RPM : idris-1.0-9.25.src.rpm
|
| Size : 212.34 MB
| |
| Packager : (none)
| |
| Summary : Functional Programming Language with Dependent Types
|
Description :
Idris is a general purpose language with full dependent types. It is compiled,
with eager evaluation. Dependent types allow types to be predicated on values,
meaning that some aspects of a program\'s behaviour can be specified precisely
in the type. The language is closely related to Epigram and Agda.
There is a tutorial at < http://www.idris-lang.org/documentation>.
Features include:
* Full, first class, dependent types with dependent pattern matching
* where clauses, with rule, case expressions, pattern matching let and lambda
bindings
* Interfaces (similar to type classes), monad comprehensions
* do notation, idiom brackets, syntactic conveniences for lists, tuples,
dependent pairs
* Totality checking
* Coinductive types
* Indentation significant syntax, extensible syntax
* Cumulative universes
* Simple foreign function interface (to C)
* Hugs style interactive environment.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/9/openSUSE_Tumbleweed/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
idris
idris(x86-64)
Requires :
