Inductive Data Type
view on wiki.c2.com
last modified: November 19, 2008
Explained in
CoinductiveDataType
Loading...