Asher Frost issues

Results 6 issues of


                                            Asher Frost

Stack overflow only when debugging Unificaitons

Roc overflows the stack whenever the `cargo run` is passed `ROC_PRINT_UNIFICATIONS=1` for the *first* time. That is, it does not overflow if it is `ROC_PRINT_UNIFICATIONS=0`, nor if, since the last...

[ refactor ] move parser into Idris

# Description Currently, the Idris 2 parser is split into three places 1. `src/Libraries/Text` which defines the core parsing environment (independent of the Idris syntax) 2. `src/Parser`, which defines part...

code: refactoring

implem: parsing

docs: added library documentation for `Elab`

# Description Added documentation for `Language.Reflection` ## Self-check

The Unique Hole

# The Unique Hole - [X] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [X] I have checked that there is no existing PR/issue about my proposal. ## Summary Define "unique holes", with...

Feature request

docs: add quickstart (see #3590)

# Description Add a quick start to Idris docs. Note that this is a continuation of #3590

internal: made consistent with parser refactor

changed the file to be correct with the new code > [!WARNING] > This should only be pulled ***after*** [the main change](https://github.com/idris-lang/Idris2/pull/3652)