git.iko.soy/Idris-dev
on master help sign in
Minor edits to description in idris.cabal
2fe19b7Edwin Brady
idris.cabal+3−5
compare with master
unifiedsplit
@@ -18,12 +18,12 @@ Description: Idris is a general purpose language with full dependent types.
18 <http://www.idris-lang.org/documentation>.
18 <http://www.idris-lang.org/documentation>.
19 Features include:
19 Features include:
20 .
20 .
21− * Full dependent types with dependent pattern matching
21+ * Full, first class, dependent types with dependent pattern matching
22 .
22 .
23− * where clauses, with rule, simple case expressions,
23+ * where clauses, with rule, case expressions,
24 pattern matching let and lambda bindings
24 pattern matching let and lambda bindings
25 .
25 .
26− * Type classes, monad comprehensions
26+ * Interfaces (similar to type classes), monad comprehensions
27 .
27 .
28 * do notation, idiom brackets, syntactic conveniences for lists,
28 * do notation, idiom brackets, syntactic conveniences for lists,
29 tuples, dependent pairs
29 tuples, dependent pairs
@@ -34,8 +34,6 @@ Description: Idris is a general purpose language with full dependent types.
34 .
34 .
35 * Indentation significant syntax, extensible syntax
35 * Indentation significant syntax, extensible syntax
36 .
36 .
37− * Tactic based theorem proving (influenced by Coq)
38− .
39 * Cumulative universes
37 * Cumulative universes
40 .
38 .
41 * Simple foreign function interface (to C)
39 * Simple foreign function interface (to C)