This is needed for ghci to work with pandoc, given that we now use a custom prelude. Closes #2503. |
||
---|---|---|
.. | ||
benchmark-pandoc.hs |
This is needed for ghci to work with pandoc, given that we now use a custom prelude. Closes #2503. |
||
---|---|---|
.. | ||
benchmark-pandoc.hs |