Index: doc/proposals/tagged-struct.txt
===================================================================
--- doc/proposals/tagged-struct.txt	(revision 35ba584cb40f59438cfa1e47833b128d765ee2c9)
+++ doc/proposals/tagged-struct.txt	(revision 974bcdd1e44b799a117b17dd76d4b1c7f87d4da7)
@@ -3,5 +3,5 @@
 Tagged structures allow for dynamic casting between types in a hierarchy.
 Children (rather pointers to) can be up-cast to their parents, a safe
-conversion that may recive language level support or even be implicate.
+conversion that may recive language level support or even be implicit.
 Parents can be down cast to their children, which might fail if the underlying
 object is not of the child type, or a child of that.
@@ -23,5 +23,5 @@
 
 The keywords can change (although they currently reflect the concept name
-closely). More formally, in terms of grammer this adds:
+closely). More formally, in terms of grammar this adds:
 
 struct-or-union-specifier