* Introduction [1/2pp]

  1. What kind of things do you check?

  2. How do you use it?
     * what does the user provide?
     * what feedback do you get etc?

  3. What are the limitations?

* Termination [1 1/2 pp, DONE]
  * Mutual Recursive Functions
  * GHCSort

* Totality Checker [1 1.2pp, DONE]
  * hscolour, Data.Map

* Memory Safety [3pp, E]
   * ByteString
   * Text
   * Vector-Algos

* Interesting Specifications [1-2pp, NV HERE]
  * XMONAD
  * Red Black Tree

* Results [1pp, E]
  * Benchmark Statistics

* Discussion [1pp, E]
  * Code Changes
  * Limitations

* Related Work [1/2pp]

* [ ] XMonad (??)


points to cover:

  measure, 
  abstract refinement, 
  type holes, 
