开放
Better error message for misuse of row polymorphic types and add documentation for `(All (r #:row) body)`
classgood first issue
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签
0 条评论0 个反应0 位负责人
议题
开放
Unsound complex `exp` optimization
good first issueoptimizerunsound
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签
3 条评论0 个反应0 位负责人
开放
`require/typed/provide` and `unsafe-require/typed/provide` do not support all forms `require/typed` does like doc suggests
good first issue
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签
0 条评论0 个反应0 位负责人
开放
Clean up the "utils" directory
good first issue
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签
1 条评论0 个反应0 位负责人
开放
refinement type runs into an endless loop
good first issueinferencerefinement
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签
1 条评论0 个反应0 位负责人
开放
tooltips missing sometimes
enhancementgood first issue
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签
0 条评论0 个反应0 位负责人
开放
The no-check TR language's bindings are not identical to TR in the transformer environment
good first issue
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签
2 条评论0 个反应0 位负责人
开放
case-lambda allows multiple cases with the same arity
arrowgood first issue
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签
5 条评论0 个反应0 位负责人
开放
internal error type-checking a dot type program
good first issue
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签
0 条评论0 个反应0 位负责人
开放
TR should provide a Dictionary type
good first issue
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签
0 条评论0 个反应0 位负责人