How can I maintain my parentheses?

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring

11 stars 6 forks source link

How can I maintain my parentheses? #38

Closed LeeGyeongGeon closed 9 years ago

LeeGyeongGeon commented 9 years ago

I'm so stressful because Coq is deleting my parentheses. I tried to maintain my parentheses but everytime I try Coq delete those! Can you help me about this?

jeehoonkang commented 9 years ago

I am not quite sure which problem you are troubling with; would you please come to 301-554 today no later than 20:00?

Jeehoon

jaewooklee93 commented 9 years ago

I think it's a natural thing. Because + operator has left associativity, there is no need to write (a+b)+c, and a+b+c is just okay. I guess that coq did it automatically for neat viewing.

jeehoonkang commented 9 years ago

BTW try to focus on the lecture right now :-)

Jeehoon

LeeGyeongGeon commented 9 years ago

@jeehoonkang Well.. I found some way to accommodate with this phenomenon. Thank you!