.gitignore

# Tech report
Simplicity-TR.pdf
*.eps
# Haskell
/Haskell/*.pdf
dist-newstyle
cabal.project.local
# Nix
result
result-doc
# Coq
/Coq/*CoqMakefile*
.lia.cache
*.vok
*.vos
*.glob
*.aux
*.vo
*.crashcoqide
alectryon-doc
# C
/C/test
*.o
*.out
*.a
# Coverage
*.gcda
*.gcno
*.gcov
*.info
# GenRustJets
/*.rs
/*.c