Differences
This shows you the differences between two versions of the page.
|
aa:lecture17 [2025/01/15 16:16] dmihai created |
aa:lecture17 [2025/01/15 16:16] (current) dmihai |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Algebraic Data Types ====== | ====== Algebraic Data Types ====== | ||
| - | {{:aa:adts.pdf|17. Algebraic Data Types (lecture notes)}} | + | {{:aa:adt.pdf|17. Algebraic Data Types (lecture notes)}} |