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
6:36 PM
Member since July 08, 2019