Inductive types
https://en.wikipedia.org/wiki/Intuitionistic_type_theory#Inductive_types
Last updated 4 years ago
Was this helpful?