Skip to content

Commit

Permalink
Remove Alex Ott's FP books from tips section
Browse files Browse the repository at this point in the history
  • Loading branch information
steshaw committed Jul 2, 2023
1 parent f4ad70c commit 71be1c8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion index.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ and Types](http://www.paultaylor.eu/stable/Proofs+Types.html)_, followed by
_[Advanced Topics in Types and Programming
Languages](https://www.cis.upenn.edu/~bcpierce/attapl/)_.

See also Daniel Gratzer's [Learn Type Theory](https://github.com/jozefg/learn-tt), Darryl McAdams's [So you want to learn type theory](https://web.archive.org/web/20190213100051/http://purelytheoretical.com/sywtltt.html), and Alex Ott's [Functional programming books overview](https://alexott.net/en/fp/books/).
See also Daniel Gratzer's [Learn Type Theory](https://github.com/jozefg/learn-tt), and Darryl McAdams's [So you want to learn type theory](https://web.archive.org/web/20190213100051/http://purelytheoretical.com/sywtltt.html).



Expand Down

0 comments on commit 71be1c8

Please sign in to comment.