lambda-lists
は関数型だった。
lambda-lists
lambda-lists という小さな package があってそれを読むとマクロの意味が分かる。
\def\myin[#1]#2{\Foldr{\myinimpl}{#2}{\Listize[#1]}} % \defはパターンマッチ可能 \newcommand*{\myinimpl}[2]{\begin{#1}#2\end{#1}}
は関数型だった。
lambda-lists という小さな package があってそれを読むとマクロの意味が分かる。
\def\myin[#1]#2{\Foldr{\myinimpl}{#2}{\Listize[#1]}} % \defはパターンマッチ可能 \newcommand*{\myinimpl}[2]{\begin{#1}#2\end{#1}}