# My TODO list

## Short term

- Expand the language.
    - Import theorems from outside.
    - Pattern matching.
    - Update monad.

- Add notations.

- Generalize the language to work for an arbitrary BI, rather than specifically iProp.
    - This would require changing it from an *affine* language to a *linear* one.


## Long term

- Explore the idea of combining this with a normal programming language.
    - As in, combine the analysis language with the language it's analyzing.