|
|
|
last edited 15 years ago by Bill Page |
Edit history for SandBoxAldorInductiveTypes
| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| 4702 | Bill Page | 2008/08/14 17:44:08 GMT-7 | ||
| categorical co-product construction | 4709 | 2007/11/18 17:45:37 GMT-8 |
|
|
|
last edited 15 years ago by Bill Page |
| Version | Note | Size | Editor | Time |
|---|---|---|---|---|
| 4702 | Bill Page | 2008/08/14 17:44:08 GMT-7 | ||
| categorical co-product construction | 4709 | 2007/11/18 17:45:37 GMT-8 |