TechQA.

Question

Free theorem for fmap

score 345 · Answer 1 · 2024-11-01 21:04:56

1

Answer

345

Views

Free theorem for fmap

345 views Asked by Zhiltsoff Igor At 01 November 2024 at 21:04

score 219 · Answer 2 · 2024-10-23 00:50:16

Finding a "free theorem"

219 views Asked by NietzscheanAI At 23 October 2024 at 00:50

score 423 · Answer 3 · 2024-10-16 21:29:45

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

423 views Asked by Philip Dorrell At 16 October 2024 at 21:29

score 226 · Answer 4 · 2024-10-23 00:25:22

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

226 views Asked by Jingjie Yang At 23 October 2024 at 00:25

score 291 · Answer 5 · 2024-10-18 04:39:18

Paramcoq: Free theorems in Coq

291 views Asked by Bob At 18 October 2024 at 04:39

score 321 · Answer 6 · 2024-10-16 21:29:48

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

321 views Asked by Rafael S. Calsaverini At 16 October 2024 at 21:29

score 345 · Answer 7 · 2024-10-16 21:22:59

Parametricity-exploiting proofs in Agda

345 views Asked by Cactus At 16 October 2024 at 21:22

score 248 · Answer 8 · 2024-10-23 07:34:23

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

248 views Asked by Asad Saeeduddin At 23 October 2024 at 07:34

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