「2019年06月」一覧

自分でつくるPDFリーダーという題目で展開していく予定（※1）でしたが、現状ではAgdaやHoTT（Homotopy Type Theor...

まず、Haskellの開発環境を構築する必要があります。 すでにHaskellの環境を構築されている方、Linuxとか分かっている人...

PDFリーダーに関して、周りの人から動画ではイマイチだけど触ってみるとかなりポテンシャルを感じる、という意見をもらっています。 そこ...