Hello!
Welcome to my blog. Here, I write abour various subjects, including (but not limited to) functional programming, compiler development, programming language theory, and occasionally video games. I hope you find something useful here!
Recent posts:- Local Development Environment for JOS and CS 444
- Lambda Calculus and Church Encoded Integers
- Proof of Inductive Palindrome Definition in Coq
- Setting Up Crystal on ARM
- Haskell Error Checking and Autocompletion With LSP
- A Look Into Starbound's File Formats
- New Look, New Features!
- Learning Emulation, Part 2.5 - Implementation
- Learning Emulation, Part 2
- Learning Emulation, Part 1