git.iko.soy/Idris-dev
on master help sign in
Update .cabal and README
commit27fc1f25720524b52c6a61b19a58b1c2fabbb988 authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateMon 7 Nov 2011, 00:15 (15 years ago) parent5528447
2 files changed+10−2
compare with master
unifiedsplit
README+5−1 miniidris.cabal → idris.cabal+5−1
README+5−1
@@ -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/
99Stability: Alpha
1010Category: Compilers/Interpreters, Dependent Types
1111Synopsis: 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>.
1317
1418Cabal-Version: >= 1.6
1519Build-type: Simple