Test assertions in GHCI
Calculation of binary evaulation on the home page