Parsing

Comparison of language parsers:

Language	Parser type	Note
C++ (gcc)	Recursive descent (handwritten)	Proof
C++ (clang)	Recursive descent (handwritten)	Proof
C#	Recursive descent (handwritten)	Proof
Swift	Recursive descent (handwritten)	Proof
TypeScript	Recursive descent (handwritten)	Proof