Exporting your contacts is simple!
Inside the contact view of the Real Happy app, you can see a download icon in the top right of the screen.
Depending on whether you have filtered the contacts to a specific contact group, this will either download and email you a CSV of all contacts or the filtered contact group.
The CSV will contain data be hold on the contact, including which property they were first registered (if applicable).