This repository was archived by the owner on Nov 12, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 631
Pull requests: idris-lang/Idris-dev
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add not LTE implies GT, and LTE implies maximum.
#4428
opened Apr 25, 2018 by
LeifW
Contributor
Loading…
Made fromIntegerNat use
case instead of if
#4357
opened Feb 26, 2018 by
SaraWolffs
Contributor
Loading…
WIP: making readFile work correctly with binary data when compiled
#4354
opened Feb 26, 2018 by
ghost
Loading…
Text.Parser: support for stateful grammars
#4286
opened Jan 8, 2018 by
msmorgan
Contributor
Loading…
ProTip!
Follow long discussions with comments:>50.