===================
== Elliot's Blog ==
===================
"Oh good, another blog by a theoretical CS student!" - No one

About

I like to teach myself stuff about CS, especially logic and programming languages. This is a record, mostly for myself, of what I am learning. If you are reading this and you are not me, I love you.