miatrinity

# original code 

# we have an array of strings
#
# we want to build a HTML list, where each string is wrapped in a <li> tag
# <li>s are separated by <hr>s
#
# conventional way: build the result string piece by piece:
#
# starting with the opening <ul> tag