Bodil is both extremely smart and extremely funny. With a sense of humour that extends to type theory. I think her leaving Twitter was one of the things that ma

Bodil is both extremely smart and extremely funny. With a sense of humour that extends to type theory. I think her leaving Twitter was one of the things that made it memorable ch less fun for me. Quote from the readme: If you think this is actually useful (and I'm mildly horrified to find that I'm starting to think it might be), you may wish to step up to help maintain it, because I doubt I'll keep giving it much attention once the novelty wears off.