Text update and source

I’ve updated Text a bit to improve the visual representation of higher order types (you’d probably need to full screen … More

Test run of Text

I’ve been rather busy writing lately, my PhD funding runs out in April, and I hope by then I’ll have … More