Incoming PhD Student in PL @ Brown University
🦀
Block or Report
Block or report mirryi
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
hazelgrove/hazel
hazelgrove/hazel PublicHazel, a live functional programming environment with typed holes
-
wikichan
wikichan PublicA WebExtension and userscript that displays information from Wikipedia and other sources in a popup for the hovered text.
TypeScript
-
hazelgrove/error-localization-agda
hazelgrove/error-localization-agda PublicMechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.
Agda 4
-
hazelgrove/error-localization-paper
hazelgrove/error-localization-paper PublicTotal type error localization and recovery with holes.
TeX
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.