mirror of
https://github.com/jgm/pandoc.git
synced 2026-10-29 17:52:33 +08:00
This seems to be necessary if we are to use our custom Prelude with ghci. Closes #4464.
This seems to be necessary if we are to use our custom Prelude with ghci. Closes #4464.