I gave up on mine when I learned it was equivalent to type inferencing an F_omeg...

daxfohl 11 months ago | parent | context | favorite | on: When should you give up on a project that doesn't ...

I gave up on mine when I learned it was equivalent to type inferencing an F_omega language, and that such a task was Turing unsolvable. It was a bit of a relief because after three years I wasn't getting anywhere on it (unsurprisingly).