iskm/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-12-23 17:41:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[coq/en] 8-bits => 8-bit

Browse Source 
change 8-bits in comment to singular
This commit is contained in:
dbenn 2021-03-13 13:44:58 +10:30 committed by GitHub
parent 5d2d1cf77c
commit 835bae31ef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
coq.html.markdown
View File

@ -370,7 +370,7 @@ Close Scope string_scope.
power series and results,...) power series and results,...)
• Relations : Relations (definitions and basic results) • Relations : Relations (definitions and basic results)
• Sorting : Sorted list (basic definitions and heapsort correctness) • 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) • Wellfounded : Well-founded relations (basic results)
*) *)