CODEWITHSUNDEEP

StackOverflow Questions for Tag: free-theorem

Reputation: 1822

Free theorem for fmap

haskellfunctorcategory-theorydenotational-semanticsfree-theorem

Score: 2

Views: 363

Answers: 1

Asad Saeeduddin

Reputation: 46628

Is the functor distribution law for the `Alt` typeclass trivial?

haskellfunctorfree-theorem

Score: 7

Views: 232

Answers: 2

Jingjie Yang

Reputation: 625

Law for type [[a]] -> ([a], [a])

haskellfree-theorem

Score: 7

Views: 291

Answers: 2

Reputation: 1743

Paramcoq: Free theorems in Coq

coqparametric-polymorphismcoq-pluginfree-theorem

Score: 1

Views: 300

Answers: 1

Reputation: 966

Finding a "free theorem"

haskellfree-theorem

Score: 2

Views: 276

Answers: 1

Reputation: 1658

In Idris, can I prove free theorems, e.g. the only (total) function of type `forall t. t -> t` is `id`?

idrisparametric-polymorphismfree-theorem

Score: 13

Views: 421

Answers: 1

Cactus

Reputation: 27626

Parametricity-exploiting proofs in Agda

agdaparametric-polymorphismfree-theorem

Score: 3

Views: 358

Answers: 1

Rafael S. Calsaverini

Reputation: 14012

For different possible Monad instances of a type, is the implied Functor instance always the same?

haskellmonadsfunctorfree-theorem

Score: 14

Views: 304

Answers: 1

PreviousPage 1Next