• 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
Name
Last commit
Last update
..
progs Loading commit data...
candl.txt Loading commit data...
go_spec.txt Loading commit data...
go_tutorial.txt Loading commit data...
prog.sh Loading commit data...