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 – jdan@hey.com
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 – jdan@hey.com
A formally verified compiler for a simple language with numbers and sums