TechQA.

Question

Free theorem for fmap

score 348 · Answer 1 · 2024-12-28 22:39:36

1

Answer

348

Views

Free theorem for fmap

348 views Asked by Zhiltsoff Igor At 28 December 2024 at 22:39

score 230 · Answer 2 · 2024-12-28 22:31:05

Finding a "free theorem"

230 views Asked by NietzscheanAI At 28 December 2024 at 22:31

score 437 · Answer 3 · 2025-01-04 16:49:28

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

437 views Asked by Philip Dorrell At 04 January 2025 at 16:49

score 230 · Answer 4 · 2024-12-28 22:06:34

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

230 views Asked by Jingjie Yang At 28 December 2024 at 22:06

score 286 · Answer 5 · 2025-01-04 16:42:10

Paramcoq: Free theorems in Coq

286 views Asked by Bob At 04 January 2025 at 16:42

score 322 · Answer 6 · 2025-01-04 16:49:34

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

322 views Asked by Rafael S. Calsaverini At 04 January 2025 at 16:49

score 345 · Answer 7 · 2025-01-04 16:43:04

Parametricity-exploiting proofs in Agda

345 views Asked by Cactus At 04 January 2025 at 16:43

score 243 · Answer 8 · 2025-01-04 16:46:48

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

243 views Asked by Asad Saeeduddin At 04 January 2025 at 16:46

TechQA.

List Question

Free theorem for fmap

Finding a "free theorem"

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

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

Paramcoq: Free theorems in Coq

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

Parametricity-exploiting proofs in Agda

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

Popular Questions

Popular Tags

Trending Questions