learnxinyminutes-docs - Code documentation written as code! How novel and totally my idea!

	Commit message (Collapse)	Author	Age	Lines
*	Merge pull request #4140 from dbenn/patch-1	Max Schumacher	2021-03-21	-2/+2
\|\ \| \| \| \|	[coq/en] Update coq.html.markdown
\| *	Update coq.html.markdown	dbenn	2021-03-13	-2/+2
\| \| \| \| \| \|	Suggested correction to make_inc and inc_2 as having `nat` types rather than `int`.
* \|	Merge pull request #4141 from dbenn/patch-2	Max Schumacher	2021-03-21	-1/+1
\|\ \ \| \| \| \| \| \|	[coq/en] 8-bits => 8-bit
\| * \|	[coq/en] 8-bits => 8-bit	dbenn	2021-03-13	-1/+1
\| \|/ \| \| \| \|	change 8-bits in comment to singular
* /	[coq/en] remove extra "prove" from comment	dbenn	2021-03-13	-1/+1
\|/ \| \|	Line 475 has an extra "prove" in a comment so removed it
*	[coq/en] Fix code width	Simon Shine	2019-11-26	-88/+120
\| \| \| \| \| \| \|	Many lines exceed the 80 character limit that makes the code wrap around on the website. This mainly addresses comments. The comment style has been preserved. For the code lines that exceeded 80 characters, I have not adhered to any style.
*	Back to coq highlighting	Adam Bard	2019-11-24	-1/+1
\|
*	Try ocaml highlighting with coq	Adam Bard	2019-11-19	-1/+1
\|
*	Add Coq tutorial	philzook58	2019-11-12	-0/+478