diff options
| author | Maxime Dénès | 2018-04-03 14:08:55 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-04-09 09:07:13 +0200 |
| commit | e2b364b720cc811f33789a089e2e8d5097d6049e (patch) | |
| tree | f5114c980193cdb6400f94973d5a065729eb91f5 /kernel/type_errors.mli | |
| parent | c928c773b466369d8029ad8e4cd9022fa164f568 (diff) | |
[Sphinx] Add chapter 7
Thanks to Laurent Théry for porting this chapter.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions