Combine multiple hlisp repos into this one.