Thanks.
As reverse on llist only really works when the argument is finite, the
> easiest definition would be
>
>
>
> Lrev ll = fromList (REVERSE (toList ll))
>
>
>
> You could lift this to infinite lists by having
>
>
>
> ~LFINITE ll ==> (Lrev ll = infinite-list-of something)
>
>
>
> Or simila
Hi Chun
Yes I know that and I did call it but for some reason this doesn't work.
Will tell you what did work like a charm is what you originally suggested -
use Poly ML 5.6 and Kananaskis 11.
Couldn't get either the Git clone or the Kananaskis one to work with Poly
ML 5.7.
Ashish
--
*Dr
I’d still be interested to hear about how Holmake might be failing.
Michael
From: Ashish Darbari
Reply-To: "ash...@darbari.org"
Date: Friday, 25 May 2018 at 04:32
To: Chun Tian
Cc: hol-info
Subject: Re: [Hol-info] HOL 4 Kananaskis 11 Installation Problem
Hi Chun
Yes I know that and I did ca
==
LOPSTR 2018: Second Round Call for Papers
==
28th International Symposium on
Logic-Based Program Synthesis and Transfo
---
CASC-J9 - The CADE ATP System Competition
to be held at
The 9th International Joint Conference on Automated Reasoning
Oxford, United Kingdom
##
FIRST CALL FOR PAPERS
Eighth International Conference on
Fundamentals of Software Engineering 2019 -
Theory and Practice (FSEN '19)
http://fsen.ir/2019
Tehran, Iran
May 1-3, 2019
###
