Add agda architecture