2024-01-30T23:27:56Z - 2024-04-30T22:27:56Z
Overview
3 Pull requests merged by 1 user
Merged
#43 coercion regularity
Merged
#42 check type of #[main]
Merged
#40 debug logging
4 Issues closed from 1 user
Closed
#24 the function part of a w value probably needs to be ω
Closed
#26 full equality check in coercion boundary
Closed
#37 check the #[main] function is the right type
Closed
#38 type checker loop in pushCoe
1 Issue created by 1 user
Opened
#41 add debug logging to the rest of the compiler
1 Unresolved Conversation
Open
#20
𝕎