Open zhengj2007 opened 9 years ago
From alanruttenberg@gmail.com on February 04, 2013 03:05:06
Are free variable universally quantified? I'd rather not, opting for explicit quantification in all cases.
Original issue: http://code.google.com/p/bfo/issues/detail?id=148
From alanruttenberg@gmail.com on February 04, 2013 03:05:06
Are free variable universally quantified? I'd rather not, opting for explicit quantification in all cases.
Original issue: http://code.google.com/p/bfo/issues/detail?id=148