Practal Light This is a research prototype for exploring the Practal design space. Practal Light implements Practical Types as its logic. Theory development is currently done in Logics.