diff options
| author | Eduardo Julian | 2019-07-24 20:19:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-07-24 20:19:32 -0400 |
| commit | edcc0a2433722d09e7b1ef7922e7fa1f51e7fc15 (patch) | |
| tree | 82463a3d53125f786786313bec22f1ee4f054f6c /documentation/research/Type theory/Dependent types.md | |
| parent | a952343569f321006d0183ef7ce250e3f8b996cb (diff) | |
The "commands" file is now a Markdown file for better legibility.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions