About Mark Walker

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

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet