Skip to content

Pull requests: CQCL/brat

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

feat: Human-friendly metavariable printing
#54 opened Nov 11, 2024 by croyzor Loading…
feat: Allow brackets in abstractors
#53 opened Nov 6, 2024 by croyzor Loading…
Multi-threaded type inference
#41 opened Oct 21, 2024 by acl-cqc Draft
3 tasks
Allow vector patterns to be used in kernels
#38 opened Oct 14, 2024 by croyzor Loading…
refactor: Add bracketing to parser + cleanup
#32 opened Oct 1, 2024 by croyzor Loading…
ProTip! Follow long discussions with comments:>50.