Yann Hamdaoui b7ecb08536 Update doc/manual/contracts.md ... Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>		2022-02-23 09:21:37 +01:00
..
contracts.md	Update doc/manual/contracts.md	2022-02-23 09:21:37 +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