diff options
| author | JJ | 2023-11-26 00:22:57 +0000 |
|---|---|---|
| committer | JJ | 2023-11-26 00:22:57 +0000 |
| commit | 6bd4f091312baca69ec7a984e739e00a208127d5 (patch) | |
| tree | fb499b0dbb6ee5d17d045eeaf504fd875c99fbfc /computation/types.md | |
| parent | 4352cbc9df36c1c84bba51ce51a69be7a009d264 (diff) | |
meow
Diffstat (limited to 'computation/types.md')
| -rw-r--r-- | computation/types.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/computation/types.md b/computation/types.md index 7231f82..18bc9d2 100644 --- a/computation/types.md +++ b/computation/types.md @@ -6,11 +6,11 @@ title: computation/types # types! ah, wonderous types! posts -- [How should I read type system notation?](https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation/) +- ✨ [**How should I read type system notation?**](https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation/) - [Programming Language Theory resources](https://steshaw.org/plt/) books -- [_**Types and Programming Languages**_](https://www.cis.upenn.edu/~bcpierce/tapl/) by Benjamin C. Pierce: the canonical type system text +- ✨ [_**Types and Programming Languages**_](https://www.cis.upenn.edu/~bcpierce/tapl/) by Benjamin C. Pierce: the canonical type system text - [_Advanced Topics in Types and Programming Languages_](https://www.cis.upenn.edu/~bcpierce/attapl/) by Benjamin C. Pierce |