General
-------
- Laking a makefile (even though original package had it).
- Not a cabal package for easy building etc.
- Not using a separate file structure for typechecker and making the pictures
- It's hard too see the design decisions and problems faced during development from the report.

Typechecker
-----------
- The copy rules of the AG system can be used to 'hide' the non-trivial or non-required cases in the typechecker which are in the current implementation made explicit.
- The AG system can be used to collect the error messages, this is also what the example type checker (which is referred to in the documentation) does.
- The typechecker is not correct, we can repeatedly apply a platform on a program
- We can not execute a compiler

Rendering
---------
- The created .tex file is not valid (it lacks documentclass and document structure) so we can not
  compile it to PDF. COULD DO: Modify 

- Compiling a compiler is allowed by the typechecker, but the resulting picture does not display what it should.
- Learned from them: Synthesizes a "size" attribute, allowing the top-level LaTeX picture to have the right
  dimensions.
- Could learn from us: Using pivot points and pivot combining rules, to make the composition of
  diagrams clearer to understand.
- Adjusts properly width of blocks to the labels, but still has some "magic" hard-coded constants.