Playing with Typelevel Programming
Some while ago I came across Typelevel Programming and I wanted to know more about it. I tried to dig deeper in the subject and I found a number of interesting articles dealing with the topic:
- Type-Level Programming in Scala