diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-10-14 11:28:30 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-14 15:22:56 +0200 |
| commit | cd958802f20e07967d2245039ebadd5911c47333 (patch) | |
| tree | 9a48bc43060c765e805bc80c7eae8b06e5956d68 /gnu/packages/lean.scm | |
| parent | 028119e9f5a0b31fe27334eb5de582d42d3ffd5d (diff) | |
| download | guix-cd958802f20e07967d2245039ebadd5911c47333.tar guix-cd958802f20e07967d2245039ebadd5911c47333.tar.gz | |
doc: cookbook: Mention "#true" and "#false".
* doc/guix-cookbook.texi (A Scheme Crash Course): Mention "#true" and
"#false".
(Extended example): Likewise.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions