From: Samuel Bronson <naesten@gmail.com>
To: Chong Yidong <cyd@stupidchicken.com>
Cc: Andy Wingo <wingo@pobox.com>, Daniel Kraft <d@domob.eu>,
Stefan Monnier <monnier@iro.umontreal.ca>,
guile-devel@gnu.org, emacs-devel@gnu.org
Subject: Re: GSoC: Emacs Lisp support for GNU Guile
Date: Mon, 6 Apr 2009 19:26:17 -0400 [thread overview]
Message-ID: <db65a1cd0904061626v22b4d14dw9b370c22a2240d2d@mail.gmail.com> (raw)
In-Reply-To: <87eiw9scmu.fsf@cyd.mit.edu>
On Fri, Apr 3, 2009 at 4:31 PM, Chong Yidong <cyd@stupidchicken.com> wrote:
> Andy Wingo <wingo@pobox.com> writes:
>
>> On Wed 01 Apr 2009 06:31, Stefan Monnier <monnier@iro.umontreal.ca> writes:
>>
>>> (defun append (l1 l2)
>>> (declare (type _∷_ <↓> x ⊛ sequence Γ))
>>
>> Another tack would be something like Typed Scheme, from the PLT folks. I
>> assume you've seen it? It makes particular sense in the context of
>> modules, where interprocedural calls within a typed module have no type
>> checking.
>
> You might want to check the date of Stefan's message.
... And notice how the syntax in that message isn't even close to valid Agda!
next prev parent reply other threads:[~2009-04-06 23:26 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-31 19:44 GSoC: Emacs Lisp support for GNU Guile Daniel Kraft
2009-03-31 20:28 ` Clinton Ebadi
2009-04-04 22:00 ` Richard M Stallman
2009-03-31 22:23 ` Neil Jerram
2009-03-31 23:15 ` Andy Wingo
2009-03-31 23:05 ` Andy Wingo
2009-03-31 23:41 ` Neil Jerram
2009-04-01 15:36 ` Daniel Kraft
2009-04-01 13:31 ` Stefan Monnier
2009-04-03 17:30 ` Andy Wingo
2009-04-03 20:31 ` Chong Yidong
2009-04-03 23:50 ` Andy Wingo
2009-04-06 23:26 ` Samuel Bronson [this message]
2009-04-07 0:52 ` Stefan Monnier
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=db65a1cd0904061626v22b4d14dw9b370c22a2240d2d@mail.gmail.com \
--to=naesten@gmail.com \
--cc=cyd@stupidchicken.com \
--cc=d@domob.eu \
--cc=emacs-devel@gnu.org \
--cc=guile-devel@gnu.org \
--cc=monnier@iro.umontreal.ca \
--cc=wingo@pobox.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.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.