| Commit message (Collapse) | Author | Age | Lines | |
|---|---|---|---|---|
| * | 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`. | |||
| * | [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 |
 |
index : learnxinyminutes-docs | |
| Code documentation written as code! How novel and totally my idea! |
| summaryrefslogtreecommitdiffhomepage |
path: root/coq.html.markdown