17 Feb
2022
17 Feb
'22
5:19 p.m.
Good point. I guess this info would be primarily interesting to the subcommunity of people working on type checkers.