Skip to content

Pull requests: RedPRL/cooltt

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

[WIP] πŸ”„ Cooltt Server 1.1
#395 opened Jul 13, 2022 by ralsei Draft
πŸ”­ First-Class Telescopes
#299 opened Jan 28, 2022 by TOTBWF Draft
🚧 πŸ¦† Inductive Types
#295 opened Jan 18, 2022 by TOTBWF Draft
[WIP] πŸ•β€πŸ¦Ί Cooltt Server v2.0
#289 opened Nov 27, 2021 by TOTBWF Loading…
ProTip! Exclude everything labeled bug with -label:bug.