It's funny because I'm working on a type theory first toy language as we speak.....

		jaggederest 41 days ago \| parent \| context \| favorite \| on: There's a ridiculous amount of tech in a disposabl... It's funny because I'm working on a type theory first toy language as we speak... so you're not wrong, but I'm also foolish enough to be ambitious.