diff options
| author | dbenn <dbenn@computer.org> | 2021-03-13 13:44:58 +1030 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-13 13:44:58 +1030 |
| commit | 835bae31efb57d5d0bcd28de962750fac4333c5a (patch) | |
| tree | 525d92346d826a517da91dc73d12a59bdcf0884e /coq.html.markdown | |
| parent | 5d2d1cf77c8f4e06c08da4657b152a2b2b06504f (diff) | |
[coq/en] 8-bits => 8-bit
change 8-bits in comment to singular
Diffstat (limited to 'coq.html.markdown')
| -rw-r--r-- | coq.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq.html.markdown b/coq.html.markdown index 4c1ad690..63d5468a 100644 --- a/coq.html.markdown +++ b/coq.html.markdown @@ -370,7 +370,7 @@ Close Scope string_scope. power series and results,...) • Relations : Relations (definitions and basic results) • Sorting : Sorted list (basic definitions and heapsort correctness) -• Strings : 8-bits characters and strings +• Strings : 8-bit characters and strings • Wellfounded : Well-founded relations (basic results) *) |