I am Brian McKenna, principal engineer at Atlassian.

My interests cross:

• Programming languages
• Functional programming
• Type theory
• Logic
• Web applications

You can find me on Mastodon.