Here are the easiest ways to reach me:
My Discord friend requests are always open. Feel free to add me for questions or comments!
Message me directly on Libera IRC, or join
##dependent to talk about types!
If you like what I do, here are some ways you can support this blog:
You can send me a one-time donation on Ko-Fi. Just remember not to read the name on the receipt! (Paypal sucks)