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

New posts in idris

Type of nonzero integers in Idris?

types idris

Importing from the contrib library fails

idris idris2

using rewrite in Refl

idris

Why haven't newer dependently typed languages adopted SSReflect's approach?

rocq-prover agda idris dependent-type lean

How to make Vect n Int an instance of Monoid

haskell types functional-programming dependent-type idris

'half' function type signature in Idris

dependent-type idris

LTE for Integers (ZZ)

idris

How to pattern match multiple values in Idris/Agda/Coq?

coq agda dependent-type idris

Type Level Fix Point while Ensuring Termination

idris

Smart constructor for tuple in Idris

haskell idris

In Idris, how to add 1 to a Fin until a "max" is Reached

enums dependent-type 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

indexed by a type vs containing a type in idris

types records dependent-type idris phantom-types

Literate programming in multiple languages [closed]

c perl haskell literate-programming idris
Older Entries »