Re: [isabelle] haskabelle syntax check



Hi Rick,

> Rather than producing these two lines ...
> 
> fun evalExp :: "Exp => int" and
>     evalBexp :: "Bexp => bool"
> 
> My installation of Haskabelle produces these two lines ...
> 
> fun evalExp :: "Exp \<Rightarrow> int" and
>     evalBexp :: "Bexp \<Rightarrow> bool"
> 
> Are the lines produced by my installation valid syntax?

Shortly, yes:  \<Rightarrow> is an xsymbol synonym for =>.

Hope this helps
	Florian

-- 

Home:
http://www.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.