lambda-zero
lambda-zero copied to clipboard
Totality Checker
Write an algorithm to statically check that a function is total (guaranteed to return a result).