• Robbert Krebbers's avatar
    Some tweaks. · 037d8d62
    Robbert Krebbers authored
    In particular, remove ectx_language.atomic, because it seems unused
    expect for a smart constructor for language.atomic.
    037d8d62
ectx_language.v 4.82 KB