Into FP, Type Theory and Formal Verification. Former @cryspuwaterloo
Block or Report
Block or report qlonik
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
Effect-TS/core Public
A Fully-fledged functional effect system for typescript with a rich standard library
-
The repository for high quality TypeScript type definitions.



