List Question
20 TechQA 2024-03-20T00:00:12.627000Notation for functions returning dependent types
65 views
Asked by Tom Huntington
how to create a type that contains an array of a specific length, in F#
62 views
Asked by Thomas
Could TypeScript model this function if it had dependent types?
61 views
Asked by danvk
Dependent equality with 2 different type functions
37 views
Asked by scubed
How can I prove dependent function types equal in Agda?
45 views
Asked by Sam_W
How do I efficiently add existentially typed safe money values?
155 views
Asked by gregorias
Why can some disjoint and exhaustive patterns not be represented as definitional equalities?
133 views
Asked by user11718766
What does the pound sign mean in Idris 2?
80 views
Asked by Janus Troelsen
writing a dependent type in agda to guarantee a list is sorted
97 views
Asked by mattdf
In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?
96 views
Asked by tribbloid
Updating a dependently typed field without updating what it depends on
24 views
Asked by Cactus
Equality of coinductive types
51 views
Asked by sigma
How to deal with non-termination error in Cubical Agda
83 views
Asked by sigma
List without gaps in Coq
45 views
Asked by vzhilin
Dependent classes in Python
123 views
Asked by Lewwwer
Extension Methods for Inner Class?
46 views
Asked by Maximilien Tirard
How to use the result of a depedent pair?
92 views
Asked by thor
Programming in the Calculus of Inductive Constructions with Coq
60 views
Asked by yiyuan-cao
Is Prop a subtype of Set?
84 views
Asked by radrow