Video

Does my face look familiar?

Serious

LiquidHaskell

A long but beginner friendly (one hopes!) introduction to LiquidHaskell.

Seriously

No point hiding any more. These gems are thanks to UCSD/LambdaStyle Productions, aka the brilliant Kirill Levchenko.

“Hello”

“Grad School”

“LambdaStyle”