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 doesn't (*3) `map` (+100) work in Idris?

haskell idris

Is Idris really "strictly evaluated?"

lazy-evaluation idris

What is the preferred alternative to Fin from Idris in Haskell

haskell dependent-type idris

Haskell version of Idris !-notation (bang notation)

haskell idris

Why there is no filter function of Stream in idris?

functional-programming idris codata

Is it possible to use guards in function definition in idris?

syntax pattern-matching idris guard-clause

Postulates in Idris

idris

How can I establish a bijection between a tree and its traversal?

agda idris

In Idris, can I prove free theorems, e.g. the only (total) function of type `forall t. t -> t` is `id`?

idris parametric-polymorphism free-theorem

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