Worktree checked out at master.

~jfrech/krrp/examples/
   a (74B, 8L)
   lexical_extent.krrp (60B, 6L)
   peano.krrp (275B, 17L)
   prime.krrp (557B, 32L)
   structs (21B, 4L)