TDE 3.5.13.2 still depends on hal, but the upcoming version v14.0.0 does not. 
We are currently working to finalize v14.0.0, if you want you can follow that on the TDE bugszilla (bug 2014).
The release should be sometime later this year.

Cheers
  Michele