Options: /Users/finley/Well-Typed/dev/haddock/dist-newstyle/build/aarch64-osx/ghc-9.6.1/haddock-2.28.0/x/haddock/build/haddock/haddock @/Users/finley/Well-Typed/dev/agda/dist-newstyle/build/aarch64-osx/ghc-9.6.1/Agda-2.6.4/doc/html/Agda/haddock-response57838-1.txt --lib=/Users/finley/Well-Typed/dev/haddock/haddock-api/resources +RTS -s -l -hi -olhaddock-9.6.1-general-mem-fixes.eventlog -RTS
Created at: 2023-06-20, 23:18 UTC
Type of profile: Info table profile (implied by -hi)
Sampling rate in seconds: 0.1