|
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). Stefan PS: Of course, any sequence of chars (especially funny Unicode symbols) is potentially valid Agda code (as long as you provide the appropriate context).
[Prev in Thread] | Current Thread | [Next in Thread] |