info/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2025-08-19 13:02:14 +02:00
Code Issues Releases Wiki Activity

Merge pull request #4141 from dbenn/patch-2

Browse Source 
[coq/en] 8-bits => 8-bit
This commit is contained in:
Max Schumacher
2021-03-21 15:22:44 +01:00
committed by GitHub
parent 67ec5133a2 835bae31ef
commit 4452699279
1 changed files with 1 additions and 1 deletions
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)
*) *)