About Mark Walker

Student in quantum computing, fascinated by categorical quantum mechanics, functional programming, type theory, agda, GNU guix and unicycling.

Lists

Timeline

zlqrvx has no activity yet