Ticket #79 (assigned enhancement)

Opened 3 years ago

Last modified 3 years ago

Natural numbers

Reported by: malcolm.wallace@cs.york.ac.uk Assigned to: malcolm.wallace@cs.york.ac.uk (accepted)
Priority: minor Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: minor Adopt: probably yes
Topic: Expressions & Patterns

Description

Add a Natural number type to the pre-defined basic types.

Change History

01/27/06 03:17:42 changed by malcolm.wallace@cs.york.ac.uk

  • status changed from new to assigned.
  • owner changed from ijones to malcolm.wallace@cs.york.ac.uk.

03/01/06 15:30:49 changed by john@galois.com

  • topic set to Other.

03/01/06 15:53:25 changed by john@galois.com

  • topic changed from Other to Syntax.

03/01/06 16:15:02 changed by john@galois.com

  • topic changed from Syntax to Core Language.

03/03/06 16:05:22 changed by ijones

  • topic changed from Core Language to Expressions & Patterns.