Ticket #2 (assigned task)

Opened 3 years ago

Last modified 3 years ago

Core formalization

Reported by: iago Owned by: iago
Priority: normal Milestone: 0.1
Component: Core Severity: normal
Keywords: Cc:

Description

Formalization of the Core type system.

Change History

Changed 3 years ago by iago

  • status changed from new to assigned
Note: See TracTickets for help on using tickets.