]>
author | Alexis Beingessner <a.beingessner@gmail.com> | |
Tue, 7 Jul 2015 06:37:44 +0000 (23:37 -0700) | ||
committer | Alexis Beingessner <a.beingessner@gmail.com> | |
Tue, 7 Jul 2015 06:37:44 +0000 (23:37 -0700) | ||
commit | 35b8001f684399992978c60fcb3d51232b3ca85d | |
tree | 7674297749cd13798459d105a23c66a7dab82f70 | tree | snapshot |
parent | 5ec12b154bcc839f9a903f238791b6010a61418b | commit | diff |
subtyping.md | diff | blob | history |