List Question
8 TechQA 2021-04-24T19:16:59.090000Free theorem for fmap
391 views
Asked by Zhiltsoff Igor
Is the functor distribution law for the `Alt` typeclass trivial?
264 views
Asked by Asad Saeeduddin
Law for type [[a]] -> ([a], [a])
262 views
Asked by Jingjie Yang
Paramcoq: Free theorems in Coq
324 views
Asked by Bob
Finding a "free theorem"
232 views
Asked by NietzscheanAI
In Idris, can I prove free theorems, e.g. the only (total) function of type `forall t. t -> t` is `id`?
438 views
Asked by Philip Dorrell
Parametricity-exploiting proofs in Agda
364 views
Asked by Cactus
For different possible Monad instances of a type, is the implied Functor instance always the same?
336 views
Asked by Rafael S. Calsaverini