Newbetuts
.
New posts in dependent-type
Coq: trying to use dependent induction
coq
dependent-type
Dependent types can prove your code is correct up to a specification. But how do you prove the specification is correct?
haskell
agda
dependent-type
idris
type-theory
Why is typecase a bad thing? [closed]
agda
dependent-type
idris
Difference between type parameters and indices?
coq
agda
dependent-type
type-theory
idris
`take n (take n xs) ≡ take n xs` for `Vec` in Agda
vector
agda
dependent-type
take
Erratic hole type resolution
haskell
dependent-type
What is dependent typing?
functional-programming
dependent-type
Any reason why scala does not explicitly support dependent types?
scala
path-dependent-type
dependent-type
shapeless
Why not be dependently typed?
haskell
type-systems
dependent-type
Prev