4 ms·
Not all types need to have induction principles. The ones that do are nicer, of course, precisely because they correspond to values.
by tel 10y ago
Not all types need to have induction principles. The ones that do are nicer, of course, precisely because they correspond to values.