Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Classical Logic in Haskell
Pointed sum types definition, instances, and combinators.
This is part of hasura/graphql-engine#6326
Please notice that there are two commits. The first is noisier because it drops support for ancient GHC'…
Seeing something unexpected? Take a look at the
GitHub profile guide.