Registered user since Wed 6 Apr 2022
Name:Bogdan Popa
Country:Romania
Personal website: https://defn.io
X (Twitter): https://x.com/Bogdanp
GitHub: https://github.com/Bogdanp
Contributions
ICFP 2023-profile
View general profile
View general profile
Registered user since Wed 6 Apr 2022
Contributions