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

New posts in idris

Replicating the 'Taint mode' from 'Fortify static checking tool' in Haskell

security haskell coq taint 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
« Newer Entries Older Entries »