# ---> Nix
# Ignore build outputs from performing a nix-build or `nix build` command
result
result-*

# Ignore automatically generated direnv output
.direnv

# ---> Agda
*.agdai
MAlonzo/**