2024-04-11T06:16:15Z - 2024-04-18T06:16:15Z
Overview
Excluding merges,
1 author
has pushed
11 commits
to 🐉 and
14 commits
to all branches.
On 🐉,
43 files
have changed
and there have been
531 additions
and
161 deletions.
2 Pull requests merged by 1 user
Merged
#42 check type of #[main]
Merged
#40 debug logging
1 Pull request proposed by 1 user
Proposed
#43 coercion regularity
1 Issue closed from 1 user
Closed
#37 check the #[main] function is the right type
1 Issue created by 1 user
Opened
#41 add debug logging to the rest of the compiler
1 Unresolved Conversation
Open
#26
full equality check in coercion boundary