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 MHonArc.