I build software with types and functional programming.
I wrote
A Type of Programming,
a book about that.
See some of my work on my
LinkedIn,
Hackage,
GitHub or
GitLab.
Contact me at
.