diff options
Diffstat (limited to 'sci-mathematics/agda')
-rw-r--r-- | sci-mathematics/agda/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index 5606f0f0585e..ea5eaca193ca 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/metadata.xml @@ -13,7 +13,7 @@ </use> <longdescription> Agda is a dependently typed functional programming language: It has - inductive families, which are similar to Haskell's GADTs, but they + inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the |