On Thu, May 22, 2008 at 8:55 PM, Samuel Bronson <naesten at gmail.com> wrote: > >> Something like this would also make "literate Agda" more useful. > Too bad we are already using all of the symbols that could be used to > make this pretty :-( I don't follow you here. Are you being ironic? -- /NAD