@robryk I thought that just like in any programming language, a couple base types and you can define more wherever. Preferably dependent types, these are always cool.
Disclaimer: I have no idea why any of this would be useful, especially dependent types.
CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.
@robryk I thought that just like in any programming language, a couple base types and you can define more wherever. Preferably dependent types, these are always cool.
Disclaimer: I have no idea why any of this would be useful, especially dependent types.