Idris2 parser frontend goals #1
Description
Idris2 needs a new frontend, one that is fast and easy to maintain. Here are big picture goals:
- Fast to parse large files
- Enable incremental parsing
- Easier to maintain and debug
The first thing we need to do is design a specification