Cradicle Explorer
dhall-bhat
Info
Issues
Patches
Wallets
Source
Source
.circleci
Applicative
Arrow
Bifunctor
Category
Codensity
Type
applicative
functor
lift
lower
monad
Comonad
Compose
Coyoneda
Density
DifferenceList
Either
EitherT
Foldable
Function
Functor
Identity
Kleisli
Lan
List
Monad
Monoid
NonEmptyList
Optional
Profunctor
Ran
Reader
ReaderT
Semigroup
Semigroupoid
State
StateT
Strong
Transformer
Traversable
Tuple
Yoneda
docs
scripts
.dir-locals.el
Makefile
README.md
/
Codensity
/ lower
lower
1
λ(m : Type → Type) → ./../Ran/lower m m