Continuations in X

For my final undergraduate project at Imperial College, I investigated a logical calculus called X. It probably isn't very interesting for other people but I was proud of it at the time!

Here's the final report, typos and all: Continuations in X