22 lines
268 B
Plaintext
22 lines
268 B
Plaintext
# ---> 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
|