[Agda] "Not in scope" error
Nils Anders Danielsson
nils.anders.danielsson at gmail.com
Thu Jul 3 14:54:20 CEST 2008
On Wed, Jul 2, 2008 at 8:01 PM, Robert Rothenberg <robrwo at gmail.com> wrote:
>
> Ouch. What's the command to type that in?
See the wiki for information on how to find that out:
http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Docs.UnicodeInput
∷ can be written using &:: (with the rfc1345 input method). Or you can
add your own key binding to the TeX input method.
--
/NAD
More information about the Agda
mailing list