🏠
Working from home
Designing a programming language that supports linear types, mutable value semantics, and algebraic effects (one-shot), and implementing a compiler for it.
- Mars, Solar system, Universe
Sponsors
Highlights
- Pro
Block or Report
Block or report shd101wyy
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEarned achievements
Starstruck
x4
Starstruck
x4
Loading
Quickdraw
Quickdraw
Loading
YOLO
YOLO
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x3
Pull Shark
x3
Loading