diff options
author | Eduardo Julian | 2021-10-01 03:29:09 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-10-01 03:29:09 -0400 |
commit | 30100903886160f8e187e8da4a7d4c9cafe6c50e (patch) | |
tree | eee437e5b346c2981b0091460f477c44c4fff9e8 /documentation/bookmark/type_theory/dependent_types.md | |
parent | 628356261aa9539b4f438ffd369a2638dc9506bd (diff) |
Added link to Aedifex to "Chapter 1: Getting started".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions