Nested code blocks are ignored in literate markdown

[joelberkeley]

Steps to Reproduce

Type check the following markdown

```idris
x : Nat
x = ""
```

* some text
  ```idris
  y : Nat
  y = ""
  ```

Expected Behavior

Both code blocks fail type-checking

Observed Behavior

Only the first fails