Applicative_Lifting

Applicative

Applicative_Environment

Applicative_Option

Applicative_Sum

Applicative_Set

Applicative_List

Applicative_DNEList

Applicative_Monoid

Applicative_Filter

Applicative_State

Applicative_Stream

Applicative_Open_State

Applicative_PMF

Applicative_Probability_List

Applicative_Star

Applicative_Vector

Applicative_Functor

Applicative_Environment_Algebra

Stream_Algebra

Tree_Relabelling

Applicative_Examples

Joinable

Beta_Eta

Combinators

Idiomatic_Terms

Abstract_AF

Applicative_Test