😶
Block or Report
Block or report boystrange
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
FairSubtypingAgda
FairSubtypingAgda PublicAgda formalization of fair subtyping for dependent session types
Agda 5
-
-
EmacsFiraCode
EmacsFiraCode PublicEmacs composition table generator for Fira Code ligatures
Haskell 1
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.