opfer_10155 https://blog.hatena.ne.jp/opfer_10155/ opfer_10155’s diary https://opfer-10155.hatenablog.com/ Agda LateX まじめな記事 卒論・学会で2度agdaに関する論文を書いたわけですが、TeXとかいう産廃のせいで酷い目に合わされたので、二度とあんなものに時間を取られないようメモを残す。 論文の性質上、ソースコードを載せる必要がある。それに色を付けたいとのことliterate agda(lagda)を使っている。しかしなんとなく使ってまともなpdfが出てくるわけでもない。この記事ではlagdaを使う際の注意点をまとめて書き残す。 まず紹介しておくが、以下のノートはlagdaで作成されており、参考になる。内容はAgdaの入門なので、Agdaについて教えてくれ！な人に投げつけることもできる。 github.com ・unico… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fopfer-10155.hatenablog.com%2Fentry%2F2023%2F03%2F18%2F221439" title="Agdaに関する日本語論文を書くときのtips - opfer_10155’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-03-18 22:14:39 rich https://opfer-10155.hatenablog.com/entry/2023/03/18/221439 1.0 100%