Also, heute dachte ich, ich hätte einen Weg gefunden, nur lineare Terme zu enumerieren, während ich gleichzeitig tote Äste faul prune. Das wäre ein massiver Geschwindigkeitsvorteil für SupGen, aber es hat nicht funktioniert :( also sind wir zurück zur Enumeration vollständiger λ-Terme. Auf der positiven Seite habe ich gelernt, dass wir alle Terme beliebiger Datentypen enumerieren können, ohne Labels aufteilen zu müssen, indem wir es einfach als Akkumulator mit Löchern aufbauen. Scheint nicht sehr nützlich zu sein, aber wie auch immer, hier ist der HVM3-Quellcode: