generated at
2/17/2025, 8:55:53 AM
頭部正規形
head normal form,
HNF
>
#WIP
これがわからん
\lambda x_1\cdots x_n.xM_1\cdots M_m
n\ge0,m\ge0
これまで
頭部簡約
できそうにみえるのだけど
http://foldoc.org/head+normal+form
https://xtech.nikkei.com/it/article/COLUMN/20070305/263828/?ST=develop&P=2
https://stackoverflow.com/questions/6872898/what-is-weak-head-normal-form/6889335#6889335
haskellではHNFは関係ないらしい
