2024-04-28T03:36:27Z - 2024-05-01T03:36:27Z

Period: 3 days

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

0 Active Pull Requests

0 Active Issues

0
Merged Pull Requests 0
Proposed Pull Requests 0
Closed Issues 0
New Issues

There has not been any commit activity in this period.

3 Unresolved Conversations

Open #20 inductive types (W) 2024-04-30 22:28:48 -04:00

Open #16 something for irrelevance 2024-04-30 20:45:48 -04:00

Open #10 quotient types 2024-04-30 20:23:57 -04:00