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 can Coq do while Agda/Idris can't do?

coq agda idris

Easy Syntactic Equality in Idris

idris

Sorted list in idris (insertion sort)

list sorting proof idris

Why doesn't this Idris snippet typecheck without an explicit type?

functional-programming type-conversion type-inference idris

Relevance of model checking in strongly typed functional programming languages?

idris model-checking

What are cumulative universes and `* : *`?

functional-programming type-systems agda dependent-type idris

Haskell-style type families

haskell type-families idris

How can I get Idris to unmap a vector in order to infer a type?

idris

The best way to convert a String to an Integer or Natural in Idris

string integer type-conversion idris

Is there a nice way to use `->` directly as a function in Idris?

dependent-type idris

How to map Type to Value in Idris/Agda/Coq?

coq agda idris dependent-type

Prove map id = id in idris?

proof idris

Why do Maybe/Optional types use a Just/Some type instead of the actual type?

haskell types ml idris maybe

Use named instances for other instances

typeclass idris formal-verification named-instance semigroup

Any tricks to get rid of boilerplate when constructing proofs of absurd predicate on enums?

haskell boilerplate dependent-type idris proof-of-correctness

Pattern Match on Equality

haskell idris dependent-type

Tell dependent function in conditional statement branch that condition is true

idris

Why doesn't (*3) `map` (+100) work in Idris?

haskell idris
« Newer Entries Older Entries »