Abstract.hs
Abstract.hs-boot
Collection.hs
Concrete.hs
Eval.hs
Eval.hs-boot
Extract.hs
HsSyntax.hs
LICENSE
Lexer.x
Main.hs
Makefile
MiniAgda.cabal
Parser.y
Polarity.hs
PrettyTCM.hs
ScopeChecker.hs
Semiring.hs
Setup.hs
SparseMatrix.hs
TCM.hs
TCM.hs-boot
Termination.hs
ToHaskell.hs
Tokens.hs
TraceError.hs
TreeShapedOrder.hs
TypeChecker.hs
Util.hs
Value.hs
Value.hs-boot
Warshall.hs
dist
lib
test