Arc Forum | IRC, the type inference is not guaranteed to terminate in pathological cases.

Arc Forum

new | comments | leaders | submit

1 point by Jekyll 5921 days ago | link | parent

IRC, the type inference is not guaranteed to terminate in pathological cases.

0 points by jules 5868 days ago | link

You mean type checking.

-----