/src/Core/
../
Term.idr
Term
Thinning.idr