-
Notifications
You must be signed in to change notification settings - Fork 406
- #2866 · mattpolzin opened
on Jan 30, 2023 10 - #3791 · andrevidela opened
on Jun 2, 2026 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#3806 In idris-lang/Idris2;
parseDouble drops - sign when whole part is 0
status: confirmed bugSomething isn't workingSomething isn't workingStatus: Open.#3804 In idris-lang/Idris2;- Status: Open.#3803 In idris-lang/Idris2;
- Status: Open.#3800 In idris-lang/Idris2;
- Status: Open.#3796 In idris-lang/Idris2;
- Status: Open.#3792 In idris-lang/Idris2;
- Status: Open.#3791 In idris-lang/Idris2;
- Status: Open.#3790 In idris-lang/Idris2;
- Status: Open.#3787 In idris-lang/Idris2;
- Status: Open.#3786 In idris-lang/Idris2;
- Status: Open.#3783 In idris-lang/Idris2;
- Status: Open.#3782 In idris-lang/Idris2;