The Church of Saint Ildefonso is an eighteenth-century church in Porto, Portugal. The church is located near Batalha Square. Completed in 1739, the church was built in a proto-Baroque style and features a retable by the Italian artist Nicolau Nasoni and a façade of 1932 azulejo tilework. The church is named in honour of the Visigoth, Ildephonsus of Toledo, bishop of Toledo from 657 until his death in 667.(wikipedia)