Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
rml [2010/01/29 17:05]
vkuncak
rml [2010/01/29 17:18]
vkuncak
Line 13: Line 13:
   * built in operators   * built in operators
   * define them whenever natural, or state strong enough properties   * define them whenever natural, or state strong enough properties
 +
 +===== Type System =====
 +
 +Simple types
 +
 +Parametric polymorphism
  
 ===== Starting Points ===== ===== Starting Points =====