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

New posts in coinduction

Termination check of a recursive function call in agda

recursion agda termination coinduction

How to create the `enumFromTo` function on Morte?

haskell data-structures functional-programming induction coinduction

Ltac call to "cofix" failed. Error: All methods must construct elements in coinductive types

rocq-prover coq-tactic coinduction

Compute an (infinite) tree from fixpoint operator using delay modality

haskell infinite coinduction

Termination checker fails after abstracting the call site

agda coinduction

CoNat : proving that 0 is neutral to the left

proof agda curry-howard coinduction codata

Is equality decidable on any coinductive type?

coq decidable coinduction

Proof of stream's functor laws

verification idris coinduction

Is an infinite list of ones sane?

list prolog cyclic iso-prolog coinduction

Trouble to understand Agda's Coinduction

agda coinduction

How to define constant heterogeneous streams in Haskell?

haskell type-families coinduction

How do I convert an inductive type into a coinductive type efficiently (without recursion)?

haskell recursion functional-programming induction coinduction

Are codatatypes really terminal algebras?

haskell type-systems category-theory coinduction

Are Lists Inductive or Coinductive in Haskell?

haskell infinite idris induction coinduction