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

New posts in idris

Chaining Effects in Idris

idris

Automatic detection of domain for dependent type function in Idris

functional-programming dependent-type idris injective-function

Proving identity for binary operator on Fin

proof dependent-type idris

Reflecting on a Type parameter

reflection idris

Why I can't use matched variable instead of a variable value?

idris

Why does this expression parser scale so bad in the number of (some?) rules?

performance parsing time-complexity idris parser-combinators

Implementation of rational numbers in Idris

idris rational-numbers

How to define a pair type in Idris that only holds certain combinations of values

idris dependent-type

Evaluating `IO` Actions from REPL

idris

Idris Tutorial - Functions of named implementations in infix form

syntax 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
Older Entries »