Tired of using basic, boring programming features like numbers? Think having a standard library is too handhold-y? Fancy doing every last bit of your computation at compile time? Well, have we got the solution for you! In this talk, we'll write a program to add two numbers together - but at the type level.
Talk by Felix B