joten tänään ajattelin löytäneeni tavan luetella vain lineaarisia termejä samalla kun karsin kuolleita oksia laiskasti. se olisi valtava nopeutus SupGenissä, mutta se ei toiminut :( Joten palaamme luettelemaan täydellisiä λ-termejä valoisalla puolella opin, että voimme luetella kaikki mielivaltaisten tietotyyppien termit ilman, että meidän tarvitsee jakaa nimiöitä, vain rakentamalla sen reikäiseksi akuksi. ei vaikuta kovin hyödylliseltä, mutta joka tapauksessa tässä on HVM3-lähde: