Friedrich Wiemer
Friedrich Wiemer
Updating to ghc-7.10 would also be very nice. One of the authors mentioned to me that they are somewhat working on it. But don't know any further details..
It would be very nice to have a stack installable version..
Actually, it fails silently?
If there is a citation (with a long title) at the end of a page, the sidecite might overflow the textbody.
Two points needed from my point of view: 1. Add ESPRESSO to sage (see https://groups.google.com/g/sage-devel/c/fECjDlKAroU/m/y89rkByzBAAJ). 2. Include this tool in the SageMath sbox class (will need to look at the...
As discussed in discord, seems to be based on https://github.com/librespot-org/librespot/issues/1308