diff options
| author | Eduardo Julian | 2022-11-21 16:40:51 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-21 16:40:51 -0400 |
| commit | 224797231a8144f6ead1baab3b4b01a74cab629c (patch) | |
| tree | 294aaadc4cc8dce8e40041aa318fa84de080002e /.github | |
| parent | df0e015145981602b3f97113bcfa586b4f6d0757 (diff) | |
Added index section to documentation + re-named Primitive -> Nominal
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions