Loading
About
informatics master student, interested in programming languages like haskell and rust, turning bugs into type errors, making illegal states unrepresentable
Info
10:55 PM
Member since July 08, 2019
informatics master student, interested in programming languages like haskell and rust, turning bugs into type errors, making illegal states unrepresentable