Join the Type Theory Study Group!
Type Theory is fundamental to understanding statically typed functional languages, but it's
LambdaCat is a blog which explains visually and succinctly interesting/useful/cool Functional Programming tidbits.
Type Theory is fundamental to understanding statically typed functional languages, but it's