tonyxty/FunWithArend

Some interesting snippets in Arend. Mostly for fun.