bram wyllie@bitmapperky·Sep 29, 2021does anyone know if it's possible to have dependent types with friendly errors21
Brendan Zabarauskas@brendanzabReplying to @bitmapperkyI reckon we can do better, at least friendlier than what they currently are1:47 AM · Sep 30, 2021·Twitter for iPhone
