3 ms·
More specifically, time is almost linear with the size of the type, which can be doubly exponential compared to the program but people don't write such programs
by mmoskal 3y ago
More specifically, time is almost linear with the size of the type, which can be doubly exponential compared to the program but people don't write such programs.