Registered user since Sat 9 Sep 2023
Name:Max Lang
Country:Germany
Affiliation:Technische Universität München
Personal website: https://site.maxthomaslang.de
GitHub: https://github.com/just-max
Contributions
ICFP 2023-profile
View general profile
View general profile