Ticket #2 (assigned task)

Opened 7 years ago

Last modified 7 years ago

Core formalization

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


Formalization of the Core type system.

Change History

Changed 7 years ago by iago

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