FRESH
Hacker News
Home
Type Construction and Cycle Detection
20 points by commotionfever
by eru
0 subcomment
Hmm, they don't seem to be saying anything about mutually recursive types?
