diff options
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 |