#introduction Hello! I'm River. I'm interested in, among other things: + programming languages, compilers + proof assistants, automatic theorem proving, program synthesis + independent video games + computer music Right now, I'm working on a live audio programming environment inspired by Orca: