# 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.