- really nice lib for handling errors, handles retry functionality for You https://github.com/robertsosinski/retryable …
- Earlier this evening I was reading about parsing user-defined mixfix operators in Agda . Mixfix operators are actually quite common though they are usually called something else.