Skip to content

Pull requests: idris-lang/Idris-dev

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Correct minor typo in documentation
#4919 opened May 23, 2022 by isti115 Loading…
Add .mailmap
#4913 opened Mar 29, 2022 by reynir Loading…
Fix function name in one of the erasure examples
#4911 opened Jan 8, 2022 by hyphenrf Loading…
Add missing List modules to contrib.ipkg
#4849 opened Apr 24, 2020 by yurrriq Loading…
Add some "verified" implementations
#4848 opened Apr 19, 2020 by nickdrozd Loading…
Freertos port
#4817 opened Feb 15, 2020 by mokshasoft Loading…
Functions to operate with So of conjunctions
#4788 opened Dec 1, 2019 by buzden Loading…
Update tutorial's "using" example to avoid errors
#4688 opened Apr 17, 2019 by acarrico Loading…
Enable GHC 8.4 in travis
#4611 opened Dec 11, 2018 by melted Loading…
Add not LTE implies GT, and LTE implies maximum.
#4428 opened Apr 25, 2018 by LeifW Loading…
Build on Nixpkgs/NixOS
#4405 opened Apr 2, 2018 by jacereda Loading…
Made fromIntegerNat use case instead of if
#4357 opened Feb 26, 2018 by SaraWolffs Loading…
Text.Parser: support for stateful grammars
#4286 opened Jan 8, 2018 by msmorgan Loading…
Use XDG directories A-Under Review
#3456 opened Sep 24, 2016 by adamsmd Loading…
ProTip! Exclude everything labeled bug with -label:bug.