diff options
| author | Arnaud Spiwack | 2015-06-22 18:28:53 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-06-23 14:13:42 +0200 |
| commit | 19fed6f504eb8450dee34faa8e84a6d4071131dc (patch) | |
| tree | 77baf5c5c3293b98f86aea6d37239ad86c1b9bcc /lib/errors.ml | |
| parent | 29fcfc4f8bc1bfbdfbae0c07850aed65f6c3eb04 (diff) | |
Document the positivity checker.
This is my attempt at understanding each case and subfunction of the positivity check and document each of them to the best of my capacity.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions