2 commits

Author	SHA1	Message	Date
Leonardo de Moura	be7fa0932a	Add unicode name for the types: Nat, Int and Real ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-09-04 09:03:41 -07:00
Leonardo de Moura	51422fe654	Modify the parser for accepting expressions such as: 'fun a b, f a b', 'forall a, f a > 0', etc. This is just syntax sugar for 'fun (a : _) (b : _), f a b' and 'forall a : _, f a > 0' ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-09-03 17:24:05 -07:00