Hide content and notifications from this user.
Contact Support about this user's behavior.
Classes for filterable and witherable data structures
Lambda calculus at the type level.
A Map data structure at the type level.
Seeing something unexpected? Take a look at the
GitHub profile guide.