This file contains a list and description of example PPL programs. These files are available at http://theory.stanford.edu/~selinger/ppl/, and were written by Ari Lamstein under the supervision of Peter Selinger. factorial.ppl - Computes the factorial of 12. primetest.ppl - Decides whether 101 is prime or composite. gcd.ppl - Returns the GCD of 54 and 117.