Follow

Because people have asked, no, the name of this account is not a systemd joke. It's a reference to the polymorphic lambda calculus.

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.