Module prop::fun_traits

source ·
Expand description

Traits shows what would happen with alternative axioms for functional programming.

Traits

  • RawIdDef
    Shows that raw definition of the identity map is absurd.