|
|
|
|
|
|
by nyrikki
740 days ago
|
|
|
My guess is different extensions to Hindley–Milner type system, which is EXPTIME-complete in the worst case. HM isn't bidirectional in the special case, so probably the features they added vs the top level universal quantifier type that has pathological low time complexity. |
|
|