[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GSoC: Emacs Lisp support for GNU Guile

From: Samuel Bronson
Subject: Re: GSoC: Emacs Lisp support for GNU Guile
Date: Mon, 6 Apr 2009 19:26:17 -0400

On Fri, Apr 3, 2009 at 4:31 PM, Chong Yidong <address@hidden> wrote:
> Andy Wingo <address@hidden> writes:
>> On Wed 01 Apr 2009 06:31, Stefan Monnier <address@hidden> 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!

reply via email to

[Prev in Thread] Current Thread [Next in Thread]