Reply-To: *Waqar Ahmad <12phdwah...@seecs.edu.pk>
> *Date: *Wednesday, 23 May 2018 at 15:21
> *To: *hol-info <hol-info@lists.sourceforge.net>
> *Subject: *[Hol-info] Reverse Function on LazyLists
>
>
>
> Hi,
>
>
>
> Lately, I've been trying to define the
uld follow from a bisimulation argument.
Michael
From: Waqar Ahmad via hol-info <hol-info@lists.sourceforge.net>
Reply-To: Waqar Ahmad <12phdwah...@seecs.edu.pk>
Date: Wednesday, 23 May 2018 at 15:21
To: hol-info <hol-info@lists.sourceforge.net>
Subject: [Hol-info] Reverse Func
Hi,
Lately, I've been trying to define the "reverse" function on lazy lists but
I'm facing some issues. I understand that, unlike lists, in order to define
recursive function over lazy lists every time I need to justify the
definition of (co-)recursive functions (reverse in my case) that map into