Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

asked 2021-12-19 11:00:00 +0000

pufferfish gravatar image

What is the concept of a Type Theory that includes an Any/Variant data type?


Copyright QStack.ai, 2010-2023. Content on this site is licensed under the Creative Commons Attribution Share Alike 3.0 license.
about | faq | help | privacy policy | terms of service | contact