Personal projects
View all- Loading
Loading
About
informatics master student, interested in programming languages like haskell and rust, turning bugs into type errors, making illegal states unrepresentable
Info
9:55 AM
Member since July 08, 2019