@brendanzab Hey man, some lit stuff here: https://voyager3.tumblr.com/archive
Surprised and glad to find someone into game dev jamming on type theory and PLT!
Still trying to figure out how to be able to work on programming languages and graphics at the same timeβ¦ it keeps wanting to work on programming language stuff right nowβ¦ it's just so easy to keep chipping away at the PL workβ¦
I wouldn't say I'm super accomplished at PL stuff - I have tons to learn, but it's hard now to switch my focus to something wildly different, like drawing lines and cubes. I'm just really familiar with parts of the PL workflow now.
I definitely want to get better at the graphics stuff though, because it's really important for my eventual goals PL wise, and world building/art wise. π β°οΈπ‘π²π²π³β°οΈπ