TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

gnu: lean: Trim synopsis.

Browse source 
* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name.
This commit is contained in:
Tobias Geerinckx-Rice 2020-11-26 01:10:17 +01:00
parent b87051b74a
commit 1df6f0f085
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/lean.scm
View file

@ -66,7 +66,7 @@ (define-public lean
#t)))
(add-before 'configure 'chdir-to-src
(lambda _ (chdir "src") #t)))))
(synopsis "The Lean theorem prover and programming language")
(synopsis "Theorem prover and programming language")
(description
"Lean is a theorem prover and programming language with a small trusted
core based on dependent typed theory, aiming to bridge the gap between