.gitignore

haskell/lambda-pi/src/Language/LambdaPi/Syntax/Lex.hs
haskell/lambda-pi/src/Language/LambdaPi/Syntax/Par.hs
haskell/lambda-pi/src/Language/LambdaPi/Syntax/Test
haskell/lambda-pi/src/Language/LambdaPi/Syntax/Test.hs
haskell/lambda-pi/src/Language/LambdaPi/Syntax/Skel.hs
haskell/lambda-pi/src/Language/LambdaPi/Syntax/ErrM.hs
haskell/soas/src/Language/SOAS/Syntax/Lex.hs
haskell/soas/src/Language/SOAS/Syntax/Par.hs
haskell/soas/src/Language/SOAS/Syntax/Test
haskell/soas/src/Language/SOAS/Syntax/Test.hs
haskell/soas/src/Language/SOAS/Syntax/Skel.hs
haskell/soas/src/Language/SOAS/Syntax/ErrM.hs

scala/free-foil/src/main/scala/.scala-build/

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.*
*.bak
.metals/
.vscode/