Exploring the book Types and Programming Languages.
There is an accompanying website.
As a joined effort to deepen our understanding and sharing knowledge, at work we started a study group. The intent is to gain hands-on knowledge and discuss our insights.
We will create the project for TAPL in Elm, a
A delightful language
It has the added benefit that it is easy to create an webpage for the various projects.
Although this project is hosted on GitHub it is versioned with Jiu Jitsu.