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 Nat data type in Idris starts with 0 and not 1?

dependent-type idris

Dependent Types in Elm

types elm dependent-type idris

Why does Idris conflate a value name with a type argument name that is subsequently defined?

idris

(xs : Vect n elem) -> Vect (n * 2) elem

idris

Formalising regular expressions with a complement operation

regex coq agda idris

How to use `deriving` in Idris?

idris deriving

Is it possible to abstract over kinds in Idris?

idris

Multi-Parameter Sub-Classes in Idris

idris

natToFin when there is evidence that the conversion will work

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

Generic programming via effects

haskell generic-programming agda dependent-type idris

Why doesn't GHC Haskell support overloaded record parameter names?

haskell overloading record aeson idris

indexed by a type vs containing a type in idris

types records dependent-type idris phantom-types
« Newer Entries Older Entries »