39 lines
330 B
Plaintext
39 lines
330 B
Plaintext
# ---> Agda
|
|
*.agdai
|
|
MAlonzo/**
|
|
|
|
# ---> Idris
|
|
# Idris 2
|
|
*.ttc
|
|
*.ttm
|
|
|
|
# Idris 1
|
|
*.ibc
|
|
*.o
|
|
|
|
# ---> Haskell
|
|
dist
|
|
dist-*
|
|
cabal-dev
|
|
*.o
|
|
*.hi
|
|
*.hie
|
|
*.chi
|
|
*.chs.h
|
|
*.dyn_o
|
|
*.dyn_hi
|
|
.hpc
|
|
.hsenv
|
|
.cabal-sandbox/
|
|
cabal.sandbox.config
|
|
*.prof
|
|
*.aux
|
|
*.hp
|
|
*.eventlog
|
|
.stack-work/
|
|
cabal.project.local
|
|
cabal.project.local~
|
|
.HTF/
|
|
.ghc.environment.*
|
|
|