packages feed

HaRe-0.8.0.0: test/testdata/Renaming/A3.hs

module Renaming.A3 where

import Renaming.B3 
import Renaming.C3 
import Renaming.D3

main :: Tree Int ->Bool
main t = isSame (sumSquares (fringe t))
               (sumSquares (Renaming.B3.myFringe t)+sumSquares (Renaming.C3.myFringe t))