2 ms·
Maybe you don't have to encode everything in the type system? Also: Maybe not everything goes in the compiler?
by throwawaymaths 3y ago
Maybe you don't have to encode everything in the type system?
Also: Maybe not everything goes in the compiler?