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

New posts in idris

Why does Idris need mutual?

idris

Converting Coq to Idris

coq idris

How to specify a number range as a type in Idris?

dependent-type idris

How do I prove a "seemingly obvious" fact when relevant types are abstracted by a lambda in Idris?

agda theorem-proving idris

StringOrInt from Idris -> Scala?

scala idris

Dependently typed printf in Idris

idris

Open Type Level Proofs in Haskell/Idris

haskell proof category-theory correctness idris

I can't prove (n - 0) = n with Idris

proof 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
« Newer Entries Older Entries »