Ticket #7837: rule_main.hs

File rule_main.hs, 136 bytes (added by akio, 2 years ago)
Line 
1module Main0 (main0, main1) where
2
3import Rule
4
5main0, main1 :: Double
6main0 = normalize (4 :: Double)
7main1 = normalize' (4 :: Double)