About

I’m a 22-year-old British student of Computer Science, currently interested in dependent typing and its semantics. I also (at least partially due to those around me) am becoming quite political: expect mental health, treatment of marginalised genders, and other LGBT+ issues to come up from time to time.

As far as programming goes, I far prefer functional languages, with Haskell as my drug of choice, though choice doesn’t seem to come into the equation as often as I’d like, though I am comfortable with a reasonable range of languages, which strangely does not include the only compulsory language for my degree course.1


  1. Well, I can use Java quite easily, but it makes me feel rather uncomfortable to do so. 
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s