-- |
-- = Solutions to Exercises for November 30, 2018
module S05 (
  -- ** Exercise 2 and 3
  -- | See <../pdfs/05.pdf>

  -- ** Exercise 4
  redexes,

  -- ** Exercise 5
  showsPrecTerm,

  -- ** Exercise 6
  subst,
  ) where

import Term