Yann Hamdaoui efd5e414d5 Update doc/manual/correctness.md ... Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>		2022-02-18 16:18:47 +01:00
..
contracts.md	Manual: typos/wording in contracts and correctness	2022-02-17 18:59:13 +01:00
cookbook.md	Update doc/manual/cookbook.md	2021-12-30 15:07:32 +01:00
correctness.md	Update doc/manual/correctness.md	2022-02-18 16:18:47 +01:00
types-vs-contracts.md	Remove section on performance, separate typing of record library	2021-12-14 16:44:22 +01:00
typing.md	Add ref to the correctness sec to the typing sec	2022-02-17 18:30:18 +01:00