Write a ADA (ada programming language) function that takes two binary arrays of 1s and 0s and adds them and then returns the resulting binary array.

For example, 0101 + 0001 = 0110. Verify your result is the same.

Note: You must use binary addition and not convert binary numbers to integers to achieve the result. As a beginner to ADA, I'd greatly appreciate your help! This needs to be written in Ada, no other programming languages are acceptable.