r/dependent_types

1.5K archived posts · Jul 2009 – Sep 2026

Dependent Types

r/dependent_types

Agda, Idris, Coq, and Type Theory

Created Jul 24, 2009 · restricted

3.8KMembers (last snapshot)

1.5KArchived posts

Dependent Types: Agda, Idris, Coq, and Type Theory

Reddit Rebuilt is an independent, non-commercial archive and is not affiliated with Reddit, Inc. Content belongs to its original authors.