Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in free-theorem

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

haskell functor free-theorem

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

haskell free-theorem

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

idris parametric-polymorphism free-theorem

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

haskell monads functor free-theorem