「2020年12月」一覧

2020年の終わりと2021年の始まり

2020/12/31 Agda, 技術書典, 着色戦略, 自分でつくるPDFリーダー, 雑感

振り返りあと数時間で終わってしまいます。今年は　勉強会の開催、コロナによる中断と暇つぶしでそれなりに形になったPDFリーダー2号機、技術...

Build済み品の配布（不思議なPDFリーダー）

2020/12/19 Haskell, イベント, 自分でつくるPDFリーダー

PDFリーダーについて、Windowsだと環境構築がやや難しい状況だったので、私の方でビルドしたバイナリを配布することにしました（★１）。...

Localモードの追加

2020/12/6 着色戦略, 自分でつくるPDFリーダー, 雑感

Localモード Localモードというモードを追加しました。m, nボタンでモード切替できます。これは、以前紹介したプリセット禁止戦略＋V...