TechQA.

Question

Free theorem for fmap

score 388 · Answer 1 · 2021-04-24 19:16:59

1

Answer

388

Views

Free theorem for fmap

388 views Asked by Zhiltsoff Igor At 24 April 2021 at 19:16

score 229 · Answer 2 · 2018-11-17 13:58:19

Finding a "free theorem"

229 views Asked by NietzscheanAI At 17 November 2018 at 13:58

score 432 · Answer 3 · 2017-05-27 06:11:02

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

432 views Asked by Philip Dorrell At 27 May 2017 at 06:11

score 253 · Answer 4 · 2019-12-15 20:51:49

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

253 views Asked by Jingjie Yang At 15 December 2019 at 20:51

score 319 · Answer 5 · 2019-03-11 22:46:18

Paramcoq: Free theorems in Coq

319 views Asked by Bob At 11 March 2019 at 22:46

score 332 · Answer 6 · 2014-02-13 17:28:18

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

332 views Asked by Rafael S. Calsaverini At 13 February 2014 at 17:28

score 359 · Answer 7 · 2015-12-21 03:20:47

Parametricity-exploiting proofs in Agda

359 views Asked by Cactus At 21 December 2015 at 03:20

score 260 · Answer 8 · 2020-02-24 17:50:02

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

260 views Asked by Asad Saeeduddin At 24 February 2020 at 17:50

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