そこで、今日は枯れ枝をのんびり剪定しながら、線形項のみを列挙する方法を見つけたと思いました。それはSupGenの大幅なスピードアップになりますが、:(は機能しませんでしたそれでは、完全なλ項の列挙に戻ります 明るい面としては、ラベルを分割することなく、穴のあるアキュムレータとして構築するだけで、任意のデータ型のすべての項を列挙できることを学びました。あまり役に立たないようですが、とにかく、HVM3ソースは次のとおりです。