2023-03-01から1ヶ月間の記事一覧
卒論・学会で2度agdaに関する論文を書いたわけですが、TeXとかいう産廃のせいで酷い目に合わされたので、二度とあんなものに時間を取られないようメモを残す。 論文の性質上、ソースコードを載せる必要がある。それに色を付けたいとのことliterate agda(lagd…
卒論・学会で2度agdaに関する論文を書いたわけですが、TeXとかいう産廃のせいで酷い目に合わされたので、二度とあんなものに時間を取られないようメモを残す。 論文の性質上、ソースコードを載せる必要がある。それに色を付けたいとのことliterate agda(lagd…