Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@andrew-johnson-4
andrew-johnson-4 authored Jan 9, 2024
1 parent bea67da commit 50a49dd
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

0 comments on commit 50a49dd

Please sign in to comment.