git.iko.soy/Idris-dev
on master help sign in
Update .cabal and README
27fc1f2Edwin Brady
README+5−1
compare with master
unifiedsplit
@@ -1 +1,5 @@
1−Don't get your hopes up, this could take a while...
1+Idris (http://idris-lang.org/) is an experimental functional programming
2+language with dependent types.
3+
4+To install, type 'make'. This will install everything using cabal and
5+typecheck the libraries.
miniidris.cabal → idris.cabalrenamed+5−1
@@ -9,7 +9,11 @@ Homepage: http://www.idris-lang.org/
9Stability: Alpha
9Stability: Alpha
10Category: Compilers/Interpreters, Dependent Types
10Category: Compilers/Interpreters, Dependent Types
11Synopsis: Dependently Typed Functional Programming Language
11Synopsis: Dependently Typed Functional Programming Language
12−Description: An experimental new version of Idris
12+Description: Idris is an experimental language with full dependent types.
13+ Dependent types allow types to be predicated on values,
14+ meaning that some aspects of a program's behaviour can be
15+ specified precisely in the type. The language is closely
16+ related to Epigram and Agda. There is a tutorial at <http://www.idris-lang.org/tutorial.html>.
13
17
14Cabal-Version: >= 1.6
18Cabal-Version: >= 1.6
15Build-type: Simple
19Build-type: Simple