{- Convert positive integer to list of digit -}
{- Input : 12345 o/p :
toList 0 = []
toList x = toList (x `div` 10) ++ … 148 more words