Currently python stuff. Learning rust and scala. Interested in learning agda and hott. Too much stuff, too little time. He/they
Currently python stuff. Learning rust and scala. Interested in learning agda and hott. Too much stuff, too little time. He/they