[Suggestion - README] Add TAPL in further reading.
dannywillems opened this issue · 1 comments
dannywillems commented
TAPL (Types And Programming Languages) by B. Pierce is considered as « The Bible » for the beginners in type systems.
drupol commented
Fixed, thanks!