Michal Maršálek

Ligature `oo` request

2

SageMath uses `oo` to denote infinity. I'd like to suggest a ligature for this "double o" to be added in which the o's are pushed closer to each other so...

1 < _ < 9

1

1. Using `_` for both lambdas and discards seems confusing. Have you considered some alternatives? 2. Would it be possible to extend the readme regarding pattern matching (in function args...