COPYING
Dedukti.hs
Setup.lhs
dedukti.cabal
Dedukti
doc
scripts
t