stream - agda で次の有理数を生成する

Question

次の有理数を 2 つの整数変数に生成するにはどうすればよいですか。たとえば、 (1,1) (2,1) (1,2) (1,3) (3,1) .. 生成するアルゴリズムがあります。

if(n % 2 == d % 2)
{  
  n++;
  if(d > 1) d--;
}
else{
  d++;
  if(n > 1) n--;
}

問題は、動的ストリームを a に構築する方法Agdaです。(1,1) から開始し、次のペアを生成してストリームに追加します。誰か助けてください。