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

New posts in idris

How can I use forall in a function definition?

idris

How does Idris know where to insert Force and Delay?

functional-programming lazy-evaluation idris

Can I avoid lower-case global variables being shadowed in types?

idris idris2

named implementation to default implementation

typeclass idris

Constants in Idris

idris

Slow type-checking and poor run-time performance with large natural numbers in Idris 1.2.0

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

Literate programming in multiple languages [closed]

c perl haskell literate-programming idris
Older Entries »