noiioiu/nimbers - Change P63H7XZA5FGJP5RTASK5NOWQDV4BSKFFCN4AIS7RW44KUK3LK2JQC

Nimbers in haskell.

Add test for square roots

Created by noiioiu on April 21, 2024

P63H7XZA5FGJP5RTASK5NOWQDV4BSKFFCN4AIS7RW44KUK3LK2JQC

Dependencies

In channels

main

Change contents

Insertion in test/Main.hs at line 41 [4.22]

[3.98]

[2.45]


prop_sqrt :: Nimber -> Bool
prop_sqrt a = sqrt a * sqrt a == a

Insertion in test/Main.hs at line 45 [4.22]
[2.46]
[2.46]