FW
TypeScript contributor. Type-level programming enthusiast.
Activity — last 12 months
12 proofs in the last 12 months
Completed outcomes
No completed outcomes yet
Recent proofs
You're caught up
Track your own outcomes on Powstik
Get started — it's free →