www

commit 6c5eba7b8393592b9f0604e85d91649f605c6433
parent 542831a082e22e8622e510ede34f993319f3f77d
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 02:09:05 +0200

Typo.

Diffstat:
M
scribblings/adt-trules.scrbl
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scribblings/adt-trules.scrbl b/scribblings/adt-trules.scrbl
@@ -126,7 +126,7 @@ in@~cite[#:precision "p. 75" "tobin-hochstadt_typed_2010"].
    τ_{r} <: @record[@repeated{@|ɐ|ᵢ : τ'ᵢ}] \\
    @|ɐ|ⱼ : τ'ⱼ ∈ @repeatset{@|ɐ|ᵢ : τ'ᵢ}
   }
- @${Γ ⊢ @opwith[@${e_{r}} @|ɐ| @${e_{v}}]
+ @${Γ ⊢ @opwithout[@${e_{r}} @|ɐ|]
    : @record[@${@repeatset{@|ɐ|ᵢ : τ'ᵢ} ∖ \{@|ɐ|ⱼ : τ'ⱼ\}}]
    ; ϵ|⊥ ; ∅}
  @${@textsc{T-Record-Without}}