ren.zone

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 .