Search Results
6/22/2025, 11:33:39 PM
>>105655231
Okay, racket-mode is good enough so far. Pie's type inference is annoyingly weak. Also, it's weird with currying: both ((fst 5) 7) and (fst 5 7) in picrel work fine, but adding dummy parens like ((((fst) 5)) 7) doesn't work, even though IMO supporting that would be more consistent.
Okay, racket-mode is good enough so far. Pie's type inference is annoyingly weak. Also, it's weird with currying: both ((fst 5) 7) and (fst 5 7) in picrel work fine, but adding dummy parens like ((((fst) 5)) 7) doesn't work, even though IMO supporting that would be more consistent.
Page 1