From 93f817dc163b5616ce96678163661336ca7d7c04 Mon Sep 17 00:00:00 2001
From: Brent Yorgey <byorgey@gmail.com>
Date: Fri, 19 Jul 2024 21:27:26 -0400
Subject: [PATCH] write about inductive definition of lists