about

informatics master student, interested in programming languages like haskell and rust, turning bugs into type errors, making illegal states unrepresentable