introspection
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
- email: my name at this domain (PGP)
- xmpp: lunabee@xmpp.solarpunk.moe (OMEMO)
- sourcehut: ~lunabee
- fediverse: @lunabee@cathode.church