mention how to use iLöb for recursive functions

6 jobs for master in 14 minutes and 1 second (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.dev #37444
fp

00:12:41

passed build-coq.8.7.2 #37448
fp

00:05:39

passed build-coq.8.8.2 #37447
fp

00:06:32

passed build-coq.8.9.0 #37446
fp-timing

00:05:48

passed build-coq.8.9.1 #37445
fp

00:07:08

passed build-coq.dev #37443
fp

00:14:01