'free-theorem' Questions - SpiceQA

Questions Tags Users Badges

free-theorem

4 Questions

Newest Active Unanswered Frequent

Free theorem for fmap

user_111437630

• asked Apr 24, 2021

2

1

226

free-theorem denotational-semantics category-theory functor haskell

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

user_17263430

• asked Feb 24, 2020

7

2

212

free-theorem functor haskell

Finding a "free theorem"

user_13664230

• asked Nov 17, 2018

2

1

153

free-theorem haskell

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

user_13713680

• asked May 27, 2017

13

1

353

free-theorem parametric-polymorphism idris

1 (current)

Hot Questions