I report progress towards a new definition of ∞-category which provides a practical environment for direct computation, and demonstrate an early version of the computer implementation.