så i dag trodde jeg at jeg fant en måte å telle opp bare lineære termer mens jeg fortsatt beskjærte døde grener dovent. det ville vært en massiv fart på SupGen, men det fungerte ikke :( Så vi er tilbake til å telle opp fullstendige λ-termer på den lyse siden lærte jeg at vi kan liste opp alle termer av vilkårlige datatyper, uten å måtte dele etiketter, ved å bare bygge den som en akkumulator med hull. virker ikke veldig nyttig, men uansett, her er HVM3-kilden: