1/1: Building Check (Check.idr)
Main> Constant expression correctly folded
Main> Bye for now!
