So, its kind of standard for academics to have a website to showcase their work… and this is it!

I know new and exciting stuff right? D:

But anyway, I am going to try to publish all of my work on here, including idris code, homework, essays and a bunch of other random stuff. Maybe even some undergrad research stuff.

Enjoy, or don't, I am not here to tell you what to do, and I also don't really care :D