diff options
| -rw-r--r-- | CONTRIBUTING.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 1ad400b3a..9feb0b6a0 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -176,6 +176,11 @@ With stack: stack bench +You can also build pandoc with the `weigh-pandoc` flag and +run `weigh-pandoc` to get some statistics on memory usage. +(Eventually this should be incorporated into the benchmark +suite.) + Using the REPL -------------- |