LeftPad

LeftPad copied to clipboard

removing lemma_not_empty and lemma_not_zero

2

I wondered why `lemma_not_empty` and `lemma_not_zero` is needed since you have the `if` that should narrow down the constraint: if length(s) > 0 && pad > 0 If you use...

doublec

Thanks for writing this! I tidied up the main function a bit: ```ats implement main0(argc, argv) = if argc = 3 then let val c = '0' val s =...

githwxi