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

New posts in 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

Maintaining a Nat within a fixed range

idris

What is the exact difference between Fix and Self on the Calculus of Constructions?

haskell functional-programming agda idris

How can I get the source code of Idris standard library?

standard-library idris

Idris : Is it possible to rewrite all functions using "with" to use "case" instead of "with" ? If not, could you give a counter example?

idris

Proof of stream's functor laws

verification idris coinduction

How to Compare Types for Equality?

idris

What are good examples of programs that are simple to specify as dependent types, but complex to implement?

haskell functional-programming dependent-type idris

In Idris, is "Eq a" a type, and can I supply a value for it?

typeclass idris

Why are these two tuples in idris equal?

idris

Why won't Idris accept my custom fold?

haskell fold dependent-type idris

How do I convince the totality checker in Idris that I'm not using a variable?

idris
« Newer Entries Older Entries »