|
|
|
|
|
|
by reinman
1455 days ago
|
|
|
So there is quite a stir about dependent types in academia these days Remember that coming up w the names for types is half the battle. Whether something is a "string" or an "Address" or an "InputField" is really a multi-dimensional type problem |
|
|