An opinionated syntax primer for the Lean programming language, covering definitions, types, and running code.
A guide on using TypeScript with React's useState Hook, covering type inference and explicit type arguments for complex state.
A guide to using a Constrained Identity Function (CIF) in TypeScript to improve type safety for objects like a calculator's operations.
A guide to writing TypeScript types that require minimal maintenance by leveraging type inference and utility types.
Explains how to correctly type a custom React hook to return a tuple instead of an array, fixing TypeScript type inference issues.
