From 50a49dda54c08b5a887fde24f36f83a4390dd3d0 Mon Sep 17 00:00:00 2001 From: Andrew Johnson Date: Mon, 8 Jan 2024 22:28:58 -0700 Subject: [PATCH] Update README.md --- README.md | 5 ----- 1 file changed, 5 deletions(-) diff --git a/README.md b/README.md index c83dd9ff8..75eb2645b 100644 --- a/README.md +++ b/README.md @@ -9,8 +9,3 @@ There is also a concept of equivalence relations formed by big-step rules. More information is available on the [Wiki](https://github.com/andrew-johnson-4/-/wiki). -# Mascot - -Doby was a donkey that refused to cross a bridge on the way back from a camping trek. -He was left for dead in the rough wilderness with winter approaching. -Somehow he survived the whole winter under that bridge and was discovered by the game warden the next year.