Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Use explicit deriving strategies where it's ambiguous
#3022
opened Mar 31, 2022 by
mitchellwrosen
•
Approved
Add a new builtin for
getFileTimeStamp
that returns Int
instead of Nat
#2993
opened Mar 23, 2022 by
runarorama
•
Draft
Support operator names in paths in parser, disallow
.
in operator names.
roundtrip-bug
#2975
opened Mar 8, 2022 by
ChrisPenner
•
Draft
Do TDNR substitutions in a single term traversal
#2789
opened Jan 7, 2022 by
ChrisPenner
•
Review required
Add Explicit Export Lists for Modules that involve Parsing
#2664
opened Nov 23, 2021 by
setupminimal
•
Review required
Fix delete.term-replacement to only check requested type/term exists
#1810
opened Feb 12, 2021 by
scott-christopher
•
Approved
ProTip!
Follow long discussions with comments:>50.