https://rednaz.12hp.de/about.php
@tweag informatics master student, interested in programming languages like haskell and rust, turning bugs into type errors, making illegal states unrepresentable
Philipp