• Robert Griesemer's avatar
    - language to define type equality rigorously · 434c6052
    Robert Griesemer authored
    - language for type guards
    - fixed language for break statements
    
    Also: Removed uses of "we" and replaced by impersonal language.
    Minor cosmetic changes.
    
    DELTA=237  (160 added, 34 deleted, 43 changed)
    OCL=18620
    CL=18800
    434c6052
go_spec.txt 103 KB