we wrote a grammar for a simple assembly language, wrote the outline of our parser,
derived some properties from the grammar for a simple parser
byte and implemented
We also saw that there are a few deficiencies in our grammar. In this post we'll implement
labelAssign. For each parser I'll start with some QuickCheck
properties then use those as the spec to implement the parser. Let's get to it!