79835095

Date: 2025-12-01 16:56:15
Score: 0.5
Natty:
Report link

Not really. You can, but you'll end up secretly Church-encoding lists or something. You are asking how to equip the type of rose trees with the eliminator for lists; conceptually, the "only" way to do this is to factor through lists.

Reasons:
  • Low length (0.5):
  • No code block (0.5):
  • Single line (0.5):
  • High reputation (-1):
Posted by: Naïm Camille Favier