Re: [isabelle] Scala codegen error: need NatO, natT, and NatC
On 12/17/2014 7:02 PM, Gottfried Barrow wrote:
NatO, for the nat object,
natT, for the top level nat class, and
NatC, for the nat constructor/class
Naming schemes take a lot of brainstorming. I guess the real conflict is
between 'nat' as a class/type, and 'Nat' as a class/constructor. Here's
my new vote for this example:
Nat for object,
natT or natD for class/type, and
Nat for class/constructor.
I think that constructors are used more than type annotation.
This archive was generated by a fusion of
Pipermail (Mailman edition) and