My name is Jordan. I like science fiction, writing, theoretical computer science, retro computing, silly twitter accounts, and try not to take myself too seriously.
Shoot me an email
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseMy name is Jordan. I like science fiction, writing, theoretical computer science, retro computing, silly twitter accounts, and try not to take myself too seriously.
Shoot me an email
A formally verified compiler for a simple language with numbers and sums