Remove blue eyed and simplify the crossing safety#33

wvhulle merged 1 commit into

mainsysghent/learn-lean-riddles:mainfrom

improve-readability-crossingsysghent/learn-lean-riddles:improve-readability-crossingCopy head branch name to clipboard