waynee95 @waynee95@types.pl
- interests
- functional programming, compilers, PL theory, formal verification
- github
- https://github.com/waynee95
- website
- https://waynee95.me
- location
- Germany
programmer. vim user. student
Joined Nov 2022
programmer. vim user. student
