diff options
| author | Joachim Breitner | 2018-09-16 21:33:13 +0200 |
|---|---|---|
| committer | Joachim Breitner | 2018-09-16 21:33:13 +0200 |
| commit | 69e852924a9419eeff5cf5875f649fd898d2ba07 (patch) | |
| tree | 9508be59c3e77997db149e88839f33add330b031 /Makefile | |
| parent | 8dff82ee590de2f6f55918d2bbf2a3d0f9a54e65 (diff) | |
Mising prime in the subtyping rules
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions