notamoon1 notamoon1@hachyderm.io

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