1/1: Building DotMethod (DotMethod.idr)
Main> 0
Main> 0
Main> 1
Main> 10
Main> 2
Main> 
Bye for now!
