PLFA agda exercises
┌───┬───┬───┐
│foo│bar│baz│
├───┼───┼───┤
│  1│2  │ 3 │
├───┼───┼───┤
│  6│5  │ 4 │
└───┴───┴───┘
┌───┬───┐
│foo│bar│
├───┼───┤
│  1│2  │
├───┼───┤
│  4│3  │
└───┴───┘
+-------+
|foo|bar|
|---+---|
|  1|2  |
|---+---|
|  4|3  |
+-------+
foo bar
  1 2  
  4 3  
┌───┬───┐
│foo│bar│
│  1│2  │
│  4│3  │
└───┴───┘
foo│bar
───┼───
  1│2  
───┼───
  4│3  
┌─────┬─────┐
│ foo │ bar │
├─────┼─────┤
│   1 │ 2   │
├─────┼─────┤
│   4 │ 3   │
└─────┴─────┘
┌─────┬─────┐
│ foo │ bar │
│   1 │ 2   │
│   4 │ 3   │
└─────┴─────┘
┌───────┬────┬───┬───┬─────────┐
│  foo  │ bar│   │   │         │
├───────┼────┼───┼───┼─────────┤
│partial│rows│are│ok │         │
├───────┼────┼───┼───┼─────────┤
│   3   │   2│1  │...│surprise!│
└───────┴────┴───┴───┴─────────┘
┌───┬───┐
│foo│bar│
│  1│  2│
│  4│  3│
└───┴───┘