Zirco specification This document is part of the Zirco programming language's design documentation. Zirco is a multi-paridigm general-purpose compiled programming language designed with type safety and readability as first priority.