From 5bb9ff1ee56d2b5e75e01a7f066d8b0cec84ec02 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 20 Mar 2021 14:27:17 +0000 Subject: gentoo resync : 20.03.2021 --- sci-mathematics/agda/metadata.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sci-mathematics/agda/metadata.xml') 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 @@ 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 -- cgit v1.2.3