Hello.

I’m Andy Morris and I write programs in Haskell, among other languages. (Maybe I could write them for you!)

I’m also very slowly making a dependently- and linearly-typed language, if that interests you.