New posts in idris

Can't resolve indirect interface

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

"Monad transformers more powerful than effects" - Examples?

functional-programming monads effects idris

How does Idris know where to insert Force and Delay?

functional-programming lazy-evaluation idris

Differences between Agda and Idris

agda type-theory idris

What is an appropriate type for smart contracts?

haskell functional-programming idris ethereum smartcontracts