I'm a Computer Science student from Wales, currently studying at University of Nottingham.
- Pronouns: she/they
- Currently interested in: Computability & Complexity Theory, Type Theory, hardware programming, and retro computing
- Current project: Some fun Agda stuff
As well as Agda, lean3/4, 6502 asm, 65816 asm, and a little bit of ARM asm.
gif credit https://www.deviantart.com/blurredmirror/art/Pixel-Art-GIF-Cat-idle-689420264