From: "Ingo M." <announce@amkade.com>
Subject: Re: why is ada better than forth haskell lisp swi prolog and pharo?
Date: Sat, 11 Nov 2017 02:30:55 -0800 (PST)
Date: 2017-11-11T02:30:55-08:00 [thread overview]
Message-ID: <8cca1136-b15a-4528-82c5-3505e2416915@googlegroups.com> (raw)
In-Reply-To: <c57f991d-558d-4f1c-86f3-9146660f1c10@googlegroups.com>
> it is better than any random list of other ones ;-)
Ah, that explains why SPARK 2014 (which is better than Ada) is not built with Ada but OCaml :-)
Quote: "In order to build SPARK, you need to install first the following dependencies (and we recommend using the OPAM package manager for these): ocaml compiler, ..."
https://github.com/AdaCore/spark2014
next prev parent reply other threads:[~2017-11-11 10:30 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-10 18:54 why is ada better than forth haskell lisp swi prolog and pharo? trump4evahh
2017-11-10 19:45 ` gautier_niouzes
2017-11-11 10:30 ` Ingo M. [this message]
2017-11-11 16:03 ` Pascal Obry
2017-11-16 16:34 ` Ingo M.
[not found] ` <1f23e3dc-6534-44c4-824a-b130869a21ab@googlegroups.com>
2017-12-07 20:15 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox