Not all types need to have induction principles. The ones that do are nicer, of ...

		tel on Aug 27, 2016 \| parent \| context \| favorite \| on: Types Not all types need to have induction principles. The ones that do are nicer, of course, precisely because they correspond to values.