Update varinfo-interface.md

Co-authored-by: Hong Ge <hg344@cam.ac.uk>
TuringLang · Oct 18, 2021 · eeb0319 · eeb0319
1 parent 5347a71
commit eeb0319
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/varinfo-interface.md b/varinfo-interface.md
@@ -1,6 +1,6 @@
 # VarInfo interface proposal
 
-The basic idea is for all VarInfos to behave like dictionaries with `VarName` keys – all common
+The basic idea is for all `VarInfos` to behave like dictionaries with `VarName` keys – all common
 operations should just work.  There are two things that make them more special, though:
 
 1. “Fancy indexing”: since `VarName`s are structured themselves, the VarInfo should be have a bit