hello, world.
Blog
Tales
Tumblr (images)
Jerbal Space Program
Google+
Kaladin Language
Files
GPG Public Key
WebGL
Clock
Time
GitHub
Facebook Profile
Twitter
Here are some of my academic papers:
Haskell Symposium 2018:
Suggesting Valid Hole Fits for Typed-Holes (Experience Report)