Ticket #2 (assigned task)

Opened 5 years ago

Last modified 5 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 5 years ago by iago

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