Productively Distracted

A great starting place for learning type level programming in Scala by Mark Harrah of SBT fame.

Type-Level Programming in Scala
blog comments powered by Disqus