Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-10-04 | split the repo into a workspace | Christian Poveda | |
remove `clap` dependency :tada: update the book installation instructions | |||
2021-08-24 | Detect and avoid cycles when resolving items. | Patrick Walton | |
These can happen in certain cases involving incomplete qualified dependent types. To avoid looping forever, we need to check for them. Closes #2085. |