så idag trodde jag att jag hittade ett sätt att bara räkna upp linjära termer samtidigt som jag beskär döda grenar lat. det skulle vara en enorm ökning av SupGen, men det fungerade inte :( Så vi är tillbaka till att räkna upp fullständiga λ-termer På den ljusa sidan lärde jag mig att vi kan räkna upp alla termer av godtyckliga datatyper, utan att behöva dela etiketter, genom att bara bygga den som en ackumulator med hål. verkar inte särskilt användbart, men i alla fall, här är HVM3-källan: