CREDITS.txt
LICENSE.txt
Setup.lhs
ideas-math.cabal
scripts
src