More work for humans used to something else. At this point it's worth reminding that ML syntax was originally designed to make programs more palatable to maths

More work for humans used to something else. At this point it's worth reminding that ML syntax was originally designed to make programs more palatable to maths students...