diff options
Diffstat (limited to 'math/hs-Agda/pkg-descr')
| -rw-r--r-- | math/hs-Agda/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/hs-Agda/pkg-descr b/math/hs-Agda/pkg-descr index eff01c4dd9ac..5c70fb2cc8f0 100644 --- a/math/hs-Agda/pkg-descr +++ b/math/hs-Agda/pkg-descr @@ -10,4 +10,4 @@ system for constructive mathematics developed by the Swedish logician Per Martin-Lof. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. -WWW: http://wiki.portal.chalmers.se/agda/ +WWW: http://wiki.portal.chalmers.se/agda/ |