From 835bae31efb57d5d0bcd28de962750fac4333c5a Mon Sep 17 00:00:00 2001 From: dbenn Date: Sat, 13 Mar 2021 13:44:58 +1030 Subject: [PATCH] [coq/en] 8-bits => 8-bit change 8-bits in comment to singular --- coq.html.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) *)