hello! I'm a queer programmer and aspiring musician currently in possession of the name Lilah, pronounced /li:la/. I like milky purple and phosphor green.

currently apprenticed in abstract nonsense. bound to type polarity, type induction and coinduction, and all type theory.

my hands as I know them

I like to write in c, java, haskell, and guile scheme. I play the accordion (chromatic button, b-system) and banjo (old time frailing).

extensional semantics