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

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

Does Idris have an equivalent to Agda's `_` expressions?

agda dependent-type theorem-proving idris

Cabal fails to install Idris language on OSX Lion

haskell installation cabal idris

Idris function to construct empty `List a` where `a` is bound to an instance of `Ord`?

typechecking idris

Why we cannot pattern match on Set/Type in Coq/Agda/Idris？

coq idris agda

How can I create a function that only accepts a subset of constructors of a type?

idris

Proof assistant for mathematics only

proof agda idris proof-of-correctness isar

Idris: proof that specific terms are impossible

idris
« Newer Entries Older Entries »