simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

test

Browse source
This commit is contained in:
Simon Cruanes 2022-10-10 20:15:18 -04:00
parent 89c9e00500
commit ccd506e387
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/guide.md
View file

@ -129,7 +129,7 @@ Let's look at some basic terms we can build immediately.
- : Term.term = false - : Term.term = false
# Term.eq tstore (Term.true_ tstore) (Term.false_ tstore);; # Term.eq tstore (Term.true_ tstore) (Term.false_ tstore);;
- : Term.term = (= Bool true false) - : Term.term = (= Bool false true)
``` ```
Cool. Similarly, we need to manipulate types. Cool. Similarly, we need to manipulate types.