diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-06 15:54:34 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-06 15:54:34 +0200 |
| commit | 1a25421c2a168d420581358c8733fcd8f36f379b (patch) | |
| tree | d6ebb05a91bb6367917c43c4829a27fb522fa770 /source/Checking/Typed/Inductive.hs | |
| parent | a9fb095867a545f2d9971d46bb4a215d7532911b (diff) | |
Update tutorial.md
Diffstat (limited to 'source/Checking/Typed/Inductive.hs')
0 files changed, 0 insertions, 0 deletions