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 does rewrite not change the type of the expression in this case?

idris

Does idris support a way to collapse symmetrical statements into one?

haskell functional-programming idris

Data type that's a pair of functions?

haskell functional-programming idris

Create a zero length vector

idris

How do you access a JavaScript global variable using the Idris JavaScript FFI?

javascript ffi idris

Choosing a typeclass on construction of a data type

dependent-type idris

Can't create simple binary data structure with IdrisNet2

idris

Equality between vectors with same length but different length expression in type

equality idris dependent-type

Well-founded recursion by repeated division

recursion idris induction totality

`case` that refines arguments

pattern-matching idris unification

Is there a notion of "heterogenous collection of a given shape"?

idris dependent-type

Is there a value that has a type of Show Int?

typeclass idris

Additional pattern matching on the second argument in `plus` for `Nat` type

pattern-matching proof idris dependent-type

Seeming contradiction typechecks in Idris

proof dependent-type idris type-level-computation

How to specify implicit arguments for infix operators?

implicit idris infix-operator

How does "There" work in the idris tutorial, page 11, section 3.4.4?

idris
Older Entries »