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

New posts in idris

Idris - Eq for enumerated type

types idris

Can Idris support row-polymorphism?

idris

In Idris, how to write a "vect generator" function that take a function of index in parameter

dependent-type idris

Total definition of Gcd in Idris

idris

Type functions at run-time in Idris

types idris

Is it possible to create a type-level representation of generic ADTs?

functional-programming agda algebraic-data-types idris church-encoding

Idris - proving equality of two numbers

idris theorem-proving

Partition a vector in Idris: why can't 0 and m+n be unified?

idris unify

Adding Two Lists of Same Size at Compile-time [duplicate]

scala dependent-type idris

Example of a `Type 1` that is neither `Type` nor an inhabitant of `Type`

dependent-type idris

Generic Adder from Idris to Scala?

scala shapeless idris

What's a good way to represent free groups?

agda dependent-type idris

Can I prove (s : Stream a) -> (head s :: tail s = s) in Idris?

lazy-evaluation idris

Defining groups in Idris

idris

How can I call a subprocess in Idris?

process functional-programming idris

Idiomatic way of listing elements of a sum type in Idris

dependent-type idris

Does Idris have an equivalent to Agda's ↔

list equality agda idris
« Newer Entries Older Entries »