diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-25 12:00:48 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-25 12:00:48 +0100 |
| commit | 6ca26199d5b57ebc0c33d1009d8bff8be92142c1 (patch) | |
| tree | d0d09ba3b8e9836bb0e09804e2622fdbcab1be85 /sec/intro.ltx | |
| parent | c639f719734d4ea6d7f5d2661626f0490a1de19c (diff) | |
Describe encoding of inductive types.
Diffstat (limited to 'sec/intro.ltx')
0 files changed, 0 insertions, 0 deletions