2024-03-30T22:05:30Z - 2024-04-30T22:05:30Z

Period: 1 month

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

Overview

3 Active Pull Requests

4 Active Issues

3
Merged Pull Requests 0
Proposed Pull Requests 3
Closed Issues 1
New Issue

Excluding merges, 1 author has pushed 25 commits to 🐉 and 25 commits to all branches. On 🐉, 67 files have changed and there have been 1836 additions and 724 deletions.

3 Pull requests merged by 1 user

Merged #43 coercion regularity 2024-04-18 16:18:20 -04:00

Merged #42 check type of #[main] 2024-04-14 15:15:35 -04:00

Merged #40 debug logging 2024-04-14 06:13:24 -04:00

3 Issues closed from 1 user

Closed #24 the function part of a w value probably needs to be ω 2024-04-20 21:45:15 -04:00

Closed #26 full equality check in coercion boundary 2024-04-18 16:18:20 -04:00

Closed #37 check the #[main] function is the right type 2024-04-14 15:15:35 -04:00

1 Issue created by 1 user

Opened #41 add debug logging to the rest of the compiler 2024-04-14 06:13:41 -04:00

1 Unresolved Conversation

Open #20 𝕎 2024-04-20 21:45:12 -04:00