hermit-0.2.0.0: examples/concatVanishes/QSort.hss

flatten-module
consider 'qsort
{ load "ConcatVanishes.hss" }
one-td let-subst
bash