Project to teach Dr-Paxed programming