Chique Chique is still in development and not yet ready for use. Chique is a code formatter for Agda.