Just a quick intro to Redbean PHP