は関数型だった。 lambda-lists lambda-lists という小さな package があってそれを読むとマクロの意味が分かる。 \def\myin[#1]#2{\Foldr{\myinimpl}{#2}{\Listize[#1]}} % \defはパターンマッチ可能 \newcommand*{\myinimpl}[2]{\begin{#1}#2\end{#1}} 参…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。