[All Lists] [By Thread] [By Date] [Previous] [Next]
From: Devorah
Subject: Case significance
Date: 25 Tammuz 5781
R. Nachmani's proposal works for implementation.
1. Case is significant for uniqueness. K+ and k+ are different blocks. 2. Case is preserved in display. What the user wrote is what is shown. 3. Case meaning is not defined by the specification.
This gives us syntactic clarity without semantic commitment.
Thread: