|
contracts.md
|
Set language for markdown code blocks
|
2022-03-07 12:27:09 +01:00 |
|
cookbook.md
|
fix butal replacement for http(s)://
|
2022-03-03 17:12:19 +01:00 |
|
correctness.md
|
Put footnote on one line
|
2022-03-10 18:34:12 +01:00 |
|
introduction.md
|
Small fixes in the user manual
|
2022-03-10 18:25:48 +01:00 |
|
merging.md
|
Fix old-style comments in merging section
|
2022-03-10 19:06:50 +01:00 |
|
syntax.md
|
Merge pull request #651 from tweag/0.1.0-website
|
2022-03-23 17:36:00 +01:00 |
|
typing.md
|
Hide enum types
|
2022-03-09 16:26:22 +01:00 |
