開放
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 位負責人