dedekind::order::detail_pointfree_decidability Namespace Reference

Typedefs
using	PointFree = decltype(ℕ & (π > 5))

Detailed Description

halfspace__PointFree_Decidability

The point-free comprehension ℕ & pred reduces to a bare Halfspace, whose species is the universe's (Boole): decidable membership, with no carrier-axis resolver in between.