Thanks for your kind answer, but I'm really looking for the opposite: to run the classic old examples using the latest technology. It's a way of measuring the progress of our field.
Larry > On 4 Apr 2018, at 21:59, Chun Tian <binghe.l...@gmail.com> wrote: > > Hi, > > I didn't follow the entire discussions about “Gordon computer”, but if you > just want to run HOL88, that’s easy. > > All you need to do is an Ubuntu 16.04 Linux environment (or Debian > GNU/Linux), and install the “hol88” (and other hol88-*) packages [1, 2]. > Latest version is “2.02.19940316”. > > Building HOL88 from scratch with original source files requires some basic > Lisp skills, because you need a working GNU Common Lisp (GCL) to build a > Classic ML, then use Classic ML to build HOL88. > > Hope this helps, > > Chun
signature.asc
Description: Message signed with OpenPGP
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info