Hacker News new | ask | show | jobs
by pron 419 days ago
They don't need to be restricted to total computation to be referentially transparent. Non-termination is also a reference.