diff options
| author | Brian Campbell | 2018-05-28 16:25:00 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-28 16:25:00 +0100 |
| commit | 02244be10529f3fa103890e920c7c34fca5f181e (patch) | |
| tree | 2c1802b091a2c59a0b858742cb81fd06eb8d44bd /doc/types.tex | |
| parent | 302048dfccaef8614af504875a526b43d4e4ab93 (diff) | |
Coq: add option to produce axioms for unimplemented functions
Useful for partial test cases (e.g., some of the typechecking tests)
Also a bonus warning for such functions in normal use
Diffstat (limited to 'doc/types.tex')
0 files changed, 0 insertions, 0 deletions