[Top][All Lists]

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

Re: GSoC: Emacs Lisp support for GNU Guile

From: Stefan Monnier
Subject: Re: GSoC: Emacs Lisp support for GNU Guile
Date: Mon, 06 Apr 2009 20:52:25 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.92 (gnu/linux)

> ... And notice how the syntax in that message isn't even close to valid Agda!

That is unfair: I copied the type annotations from random places in the
Agda library (and then edited them to make them more interesting).


PS: Of course, any sequence of chars (especially funny Unicode symbols)
is potentially valid Agda code (as long as you provide the appropriate

reply via email to

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