From: Chris Hecker <checker@d6.com>
To: William Lee Irwin III <wli@holomorphy.com>, caml-list@inria.fr
Subject: Re: fixed length arrays as types
Date: Thu, 09 Nov 2000 13:53:44 -0800 [thread overview]
Message-ID: <4.3.2.7.2.20001109135209.00b6c490@walt> (raw)
In-Reply-To: <20001108200344.A24808@holomorphy.com>
>You might want to check out fISH then. It is very Caml-ish.
>http://www-staff.mcs.uts.edu.au/~cbj/FISh/
>Dependent ML, Cayenne, and Coq may also be of interest to you.
The deCaml stuff seems interesting, but FISh doesn't look like it's ready for production programming. Caml seems almost perfect for what I want to do, so of course I want them to change it to perfectly suit me! :)
Chris
next prev parent reply other threads:[~2000-11-10 18:28 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-11-05 3:06 Chris Hecker
2000-11-07 8:41 ` Judicael Courant
2000-11-07 13:28 ` Sven LUTHER
2000-11-07 17:00 ` Brian Rogoff
2000-11-08 9:53 ` Xavier Leroy
2000-11-08 17:20 ` Chris Hecker
2000-11-09 4:03 ` William Lee Irwin III
2000-11-09 21:53 ` Chris Hecker [this message]
2000-11-11 15:15 ` John Max Skaller
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4.3.2.7.2.20001109135209.00b6c490@walt \
--to=checker@d6.com \
--cc=caml-list@inria.fr \
--cc=wli@holomorphy.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox