Whitespace

This commit is contained in:
Daniel Flanagan 2019-06-16 01:00:12 -05:00
parent 315e369f88
commit 40b49ea27f

View file

@ -29,7 +29,7 @@ fn two_sum _:list _:int i=0 ::
fn add_two_numbers _:list _:list _=[] i=0 :: fn add_two_numbers _:list _:list _=[] i=0 ::
[] _ l m, _ [] l m -> finish_add_two_numbers l m [] _ l m, _ [] l m -> finish_add_two_numbers l m
[n1 | r1] [n2 | r2] l carry [n1 | r1] [n2 | r2] l carry
add_two_numbers r1 r2 [rem (carry + n1 + n2) 10) | l] (div n1 + n2 10) add_two_numbers r1 r2 [rem (carry + n1 + n2) 10) | l] (div n1 + n2 10)
fn finish_add_two_numbers l:list m:int -> m == 0 ? l : [m | l] fn finish_add_two_numbers l:list m:int -> m == 0 ? l : [m | l]