About Mark Walker

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

Lists

Timeline

{username} has no activity yet