jameswarren/type-prog

An attempt to grok type-level programming in Scala

type-prog

This is my attempt to grok type-level programming in Scala. This source is discussed in the following blog posts

1. Type programming: Shifting from values to types: Tag 1.0
2. Type programming: Recursive types: Tag 2.0
3. Type programming: Constraining values: Tag 3.0
4. Type programming: Constraining values with equivalent types: Tag 4.0