www

commit 80d30088f122b3cc3e4db36433bfaa4ae4489a7f
parent 6c5eba7b8393592b9f0604e85d91649f605c6433
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 02:12:58 +0200

Spacing

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
@@ -51,7 +51,7 @@ in@~cite[#:precision "p. 75" "tobin-hochstadt_typed_2010"].
    ∅ @& @otherwise
    \end{array}\right. \\
   φ_r = applyfilter(\overline{\#f}_{@πctor-val}|\#f_{@πctor-val}, τ, o)}
- @${Γ ⊢ (@ctor-val[@κ] e) : τ' ; φ_r ; o_r}
+ @${Γ ⊢ (@ctor-val[@κ]\ e) : τ' ; φ_r ; o_r}
  @${@textsc{T-Ctor-Val}}
  ]
 }