Add examples on Praspel