așa că, astăzi m-am gândit că am găsit o modalitate de a enumera doar termeni liniari în timp ce tăiez leneș ramuri moarte. ar fi o accelerare masivă a SupGen, dar nu a funcționat :( așa că ne-am întors la enumerarea λ-termilor completi partea bună este că am învățat că putem enumera toți termenii tipurilor de date arbitrare, fără a fi nevoie să împărțim etichetele, doar construindu-l ca un acumulator cu găuri. nu pare foarte util, dar, oricum, iată sursa HVM3: