Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in idris

Can you create functions that return functions of a dependent arity in a dependently typed language?

haskell agda dependent-type idris

Generate library instead of executable in Idris?

idris

Definition of a certified program

coq isabelle agda idris

So: what's the point?

functional-programming agda dependent-type idris

Idris eager evaluation

haskell lazy-evaluation evaluation expression-evaluation idris

Are Lists Inductive or Coinductive in Haskell?

haskell infinite idris induction coinduction

Doing rank-n quantification in Idris

dependent-type higher-rank-types idris

Difference between Haskell and Idris: Reflection of Runtime/Compiletime in the type universes

haskell dependent-type idris type-level-computation

Difference between type parameters and indices?

coq agda dependent-type type-theory idris

Dependent Types: How is the dependent pair type analogous to a disjoint union?

haskell agda dependent-type idris curry-howard

Where to start with dependent type programming? [closed]

scala haskell agda dependent-type idris

Practical examples of Idris

dependent-type idris

How do we overcome the compile time and runtime gap when programming in a Dependently Typed Language?

haskell coq agda idris 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

"Monad transformers more powerful than effects" - Examples?

functional-programming monads effects idris

Differences between Agda and Idris

agda type-theory idris

What is an appropriate type for smart contracts?

haskell functional-programming idris ethereum smartcontracts
« Newer Entries