# ---> Agda
**.agdai
MAlonzo/**
**.hi
**/*.hi
**/*.o
**/*.log
**/*.aux
**/*.dvi
**/*.agdai
Alisaie/Test

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

# Ignore automatically generated direnv output
.direnv

Main