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