Discover/Topics/Dependent Types

Articles about Dependent Types

1 AI-summarized article exploring dependent types.

ARTICLEalok.github.io

The Perfectability of Lean: A Journey Through Programming Languages

At a lively party, I was challenged to name 40 programming languages, and I rattled them off with ease.

PerfectabilityDependent Types
Browse all topicsBrowse categoriesBack to Discover

Build your own second brain

Save any link. AI summarizes, connects, and creates todos from everything you read.

Start free, no credit card