Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A language server for Standard ML
A programming language
A potpourri of macOS dotfiles
A small programming language formally defined with a series of blog posts and Lean code.
the calculus of constructions
A place for stuff
In #88202 I added an example for deriving PartialOrd on enums, but only later did I realize that I actually put the example on Ord.
This copies the…
Seeing something unexpected? Take a look at the
GitHub profile guide.