Open dannywillems opened 7 years ago
Which one?
'int list
list[t]
int list --> list & { type t = int }
list & { type t = pair & { a = int & b = int } }
Related to #48
dannywillems
commented
7 years ago dannywillems
commented
7 years ago
Which one?
'int list--> à la ML.list[t]--> à la Scalaint list --> list & { type t = int }
list & { type t = pair & { a = int & b = int } }