Yann Hamdaoui 945547982f Address review comments on contract section		2022-02-22 15:47:29 +01:00
..
contracts.md	Address review comments on contract section	2022-02-22 15:47:29 +01:00
cookbook.md	Update doc/manual/cookbook.md	2021-12-30 15:07:32 +01:00
correctness.md	Rework the correctness section to address review	2022-02-22 14:52:24 +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