Mitchell Riley
Results
2
issues of
Mitchell Riley
I have `.lagda.md` files containing a lot of code blocks that are written ``` like this ``` rather than ```agda like this ``` and these are no longer treated as...
**What is the previous behavior before this PR?** The extra spacing added to `align` and `gather` environments by #725 was erroneously being added to the final line, causing some awkward...