248 index index.xml Dylan Braithwaite 247 bio bio.xml Dylan Braithwaite Person https://www.dylanb.me/ PhD Student in the Mathematically Structured Programming group at the University of Strathclyde.