Fix F.SUM(F.PT) in ThOr transition tutorial
APT
was incorrectly translated to F.SUM(F.PT)
instead of F.PT
in the ThOr transition tutorial.
Fixes #312 (closed).
APT
was incorrectly translated to F.SUM(F.PT)
instead of F.PT
in the ThOr transition tutorial.
Fixes #312 (closed).