search

timowest / symbol

typed lisp adventure
17 stars 1 forks source link

Support varargs in type inference #16

Closed timowest closed 11 years ago

timowest commented 12 years ago

This will also simplify type inference for mathematical forms without form simplification.

timowest commented 11 years ago

Postposted, since mathematical forms are now given special treatment.