Concepts
Concepts collects the theory that shapes the library. It is useful when you want the design vocabulary behind the implementation: algebraic effects, freer monads, queue-backed binds, normalization by evaluation, and levitated descriptions.
Concepts collects the theory that shapes the library. It is useful when you want the design vocabulary behind the implementation: algebraic effects, freer monads, queue-backed binds, normalization by evaluation, and levitated descriptions.