Updated 1 year ago

Updated 1 year ago

Adventures in AI-assisted proof generation

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Musings on Generalized Commutative Data Types

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Some small examples of dependent types in TypeScript

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago