NaoEhSavio
Results
2
issues of
NaoEhSavio
The problem is in applying lambda that doesn't reduce... ex: ```rust IO.prompt (question: String) : IO String { do IO { IO.output question ask answer = IO.input return answer }...
scope: type_checker
status: confirmed bug
The coverage in the file, using the native type U60, depending on where the general case is, present a divergence of results Example 01: General case last or middle ```...
status: bug
scope: coverage