For the reference, here is some vintage deCaml stuff:
On Sunday, February 4, 2018 at 1:06:14 PM UTC-5, gmhwxi wrote:
> I would say that it was just a bit of adventure for myself.
> At one point, I hacked Caml-light (which turned into OCaml later).
> I built deCaml on top of Caml-light, adding support for DML-style
> dependent types.
> On Sunday, February 4, 2018 at 11:32:27 AM UTC-5, aditya siram wrote:
>> Out of curiosity, why did you move from SML-NJ to OCaml for ATS? Was it
>> some limitation of the language itself or did OCaml just have more
>> community support?
>> On Friday, January 26, 2018 at 7:23:01 PM UTC-6, gmhwxi wrote:
>>> For keeping the record.
>>> I just bootstraped ATS1 (Anairiats) via ATS-geizella (written in OCaml).
>>> This is also a point for me to thank OCaml to get me started :) Actually,
>>> I should thank SML-NJ, too, for I wrote (and learned how to write as
>>> the first compiler for DML (Dependent ML).
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit