diff options
| author | Vincent Laporte | 2019-03-29 08:50:01 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-30 12:33:40 +0000 |
| commit | 754de0e3c5dab7747b81af863ef0e23bdf1e197d (patch) | |
| tree | cce802081fe92dc1261e44a546eb309c6d4918f1 | |
| parent | 1b3009ea672fd57e13e2d6912a97db51dfe8f13f (diff) | |
[Manual] Typo
| -rw-r--r-- | doc/sphinx/addendum/canonical-structures.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/addendum/canonical-structures.rst b/doc/sphinx/addendum/canonical-structures.rst index a9d894cab5..dd21ea09bd 100644 --- a/doc/sphinx/addendum/canonical-structures.rst +++ b/doc/sphinx/addendum/canonical-structures.rst @@ -92,7 +92,7 @@ and use the ``==`` notation on terms of this type. Derived Canonical Structures ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -We know how to use ``== `` on base types, like ``nat``, ``bool``, ``Z``. Here we show +We know how to use ``==`` on base types, like ``nat``, ``bool``, ``Z``. Here we show how to deal with type constructors, i.e. how to make the following example work: |