j
k
j a
j l
On 2016-09-29 03:49 PM, Corentin Dupont wrote:
But why doesn't this terminates? take 3 $ many $ Just 1
But why doesn't this terminates?
take 3 $ many $ Just 1
That looks like a type error rather than non-termination.
Back to the thread
Back to the list