Even thought the level polymorphism may be useful in some cases, we provide an entrypoint
stripped of all level polymorphism which should make writing simple parsers a lot easier.
Tested with:
- Agda version 2.6.2
- Agda's standard library version 1.7
Even thought the level polymorphism may be useful in some cases, we provide an entrypoint
stripped of all level polymorphism which should make writing simple parsers a lot easier.