Def applicative_transformation.comp

Modification history

2020-10-07 01:06

src/control/traversable/basic.lean

feat(control/traversable/basic): composition of applicative transformations (#4487) …

Added applicative_transformation.comp View on Github →