packages feed

HaRe-0.8.0.0: test/testdata/Renaming/A4.hs.expected

module Renaming.A4 where

import Renaming.B4
import Renaming.C4
import Renaming.D4

main :: Tree Int ->Bool
main t = isSameOrNot (sumSquares (fringe t))
               (sumSquares (Renaming.B4.myFringe t)+sumSquares (Renaming.C4.myFringe t))