Skip to content

Pull requests: Frege/frege

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

Make Mode for IDE
#394 opened Aug 10, 2022 by tricktron Draft
Fixed typo
#390 opened Dec 28, 2019 by schw1804 Loading…
Split records of TauT and RhoT
#388 opened Nov 20, 2019 by matil019 Loading…
Split records of SymbolT and DefinitionS
#384 opened Oct 31, 2019 by matil019 Loading…
WIP: Implement Java Interfaces with Frege Records
#363 opened May 19, 2018 by matil019 Loading…
6 tasks
ProTip! no:milestone will show everything without a milestone.