I build software with types and functional programming.
I am now writing
A Type of Programming,
a book about that.
Before, I wrote about putting
money and
SQL in the type system.
See some of my work on my
LinkedIn,
Hackage,
GitHub or
GitLab.
Contact me at
.