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.
Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
Java grammar for tree-sitter
Community driven content for people navigating changing US immigration laws.
Summaries of academic papers
A fast, flexible, fused effect system for Haskell
Seeing something unexpected? Take a look at the
GitHub profile guide.