puripuri2100が進捗の報告をするようです

TeX/LaTeXとゆきだるまと虫食い算と……

2020-05-22から1日間の記事一覧

SATySFiでlistやoptionなどを文字列化して表示する方法

概要 自分が作成したdebug-show-valueというパッケージを使用することで、リストやオプションなどを簡単に文字列化できます。 自分の作った関数のデバッグ用にとても便利です。 インストール方法 Satyrographosを使う場合 $ opam update $ opam install saty…

SATySFiでローマ数字・漢数字に変換する方法

概要 自分が作成したnum-conversionというパッケージを使用することで、ローマ数字変換・漢数字変換を楽に行うことができます。 インストール方法 注意事項 このパッケージではstring-explodeというプリミティブを使うので、2020/2/22以降のHEAD版が必要です…