.gitignore

.ghcid
doc/network.aux
doc/network.bbl
doc/network.blg
doc/network.log
doc/network.out
doc/network.pdf
doc/network.toc
doc/messages.cddl.incl
doc/protocols.aux
doc/protocols.bbl
doc/protocols.blg
doc/protocols.log
doc/protocols.out
doc/protocols.pdf
doc/protocols.toc

.ghc.environment.*
cabal.project.local*
cabal.project.local~
!cabal.project.local.ci
!cabal.project.local.github-pages
dist-newstyle/
dist/
*.swp
*.swo
*~
\#*
*_flymake.hs
result*
**/tags
**/TAGS
.stack-to-nix.cache

.stack-work/
stack.yaml.lock
*.tix

db-byron-proxy-*
index-byron-proxy-*
launch-*

# Local development
stack.yaml.local.lock
stack.yaml.local
.envrc

# latex files
doc/*.fdb_latexmk
doc/*.fls
doc/*.synctex.gz

haddocks/

# Visual Studio Code
/.vscode


# This project doesn't currently use hlint.  To avoid spurious warnings
# generate an hlint config to suppress all hlint warnings:
#
#   hlint . --ignore-glob='dist-newstyle/**' --default > .hlint.yaml
#
# The hlint config is listed here to prevent accidental checkin.
/.hlint.yaml

# Documentation
/docs/**/*.aux
/docs/**/*.bbl
/docs/**/*.blg
/docs/**/*.fdb_latexmk
/docs/**/*.fls
/docs/**/*.log
/docs/**/*.out
/docs/**/*.pdf
/docs/**/*.synctex.gz
/docs/**/*.toc
.auctex-auto

# Ignore directory used by .github/bin/check-dependencies
/tmp