diff options
Diffstat (limited to 'yellowsquid/packages/agda.scm')
| -rw-r--r-- | yellowsquid/packages/agda.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index c6b8575..c3c1f7d 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -89,7 +89,7 @@ include: stdlib\n" (delete 'register)))) (synopsis "Standard library for Agda") (description "The Agda standard library aims to contain all the tools needed -to write both programs and proofs easily. Whilst the library tries to write +to write both programs and proofs easily. Whilst the library tries to write efficient code, ease of proof is prioritised over type-checking and normalisation performance.") (license license:expat))) |