Verified Functional Programming In Agda | Desertcart Cote D' Ivoire