This first example goes through making a Gpio blink with mraa in C, it explains very basic first steps and goes through how to make IO13 blink.
This example goes through step by step the requirements for a C application to make GPIO 13 go high safely whilst checking all return values and explaining the basic concepts of libmraa and the included pinmapper.