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

New posts in idris

Dependent types [closed]

types type-systems idris

Unifying len and S len would lead to infinite value

type-inference dependent-type idris

Idris Nat literals in types

idris

Force one argument to be greater than another in Idris

idris

Efficiently abstracting over datatype arity

haskell agda dependent-type idris

Primitive operations in proofs

primitive-types idris formal-verification

Using Idris to Model State Machine of Open-Close Door

state-machine idris

How to constraint input type and output type to be the same?

type-safety dependent-type idris

Idris - Define a primes type

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