<div dir="ltr"><div>Note that Roelof is doing the CIS 194 Homework <a href="http://www.seas.upenn.edu/~cis194/fall14/hw/03-ADTs.pdf">http://www.seas.upenn.edu/~cis194/fall14/hw/03-ADTs.pdf</a> (the older version of fall2014, not the one currently running). This is much clearer than Roelof's description, and gives among other information an algebraic datatype to represent log messages.<br><br><br>-- <br></div>Jedaï<br></div>