diff options
| author | Kathy Gray | 2014-12-03 12:26:31 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-12-03 12:26:49 +0000 |
| commit | 36ebd5dc4e25f6613e986142f779788d23eec2a6 (patch) | |
| tree | 71f9ca1dc3ec23b4dc435d220e838cd20174ed60 /src/pretty_print.ml | |
| parent | 1fbb2a7f60e74e657a321052f92e75979c8cd6d7 (diff) | |
Type rules unto coercion now represented in ott
Diffstat (limited to 'src/pretty_print.ml')
0 files changed, 0 insertions, 0 deletions