SimpleProb.lidr 553 Bytes