gemmaro さんはインスタンス qiitadon.com のユーザーです。アカウントさえ持っていればフォローしたり会話したりできます。 もしお持ちでないなら こちら からサインアップできます。

公開してみたいもの

* Mastodon (or Pleroma)
* Redmine
* GitBucket

やっとポートマッピングの設定ができた
来週末に続きをやる

… もっと見る

DhallでPathname#globすることってできたっけ

Duolingo再開するかな……
(継続できるかどうかは休日濃度次第にしてしまいたい)

Idris2Docのテーマが右上から選べるようになっとる
github.com/idris-lang/Idris2/p
Black & White は白黒印刷に便利そう

{{docshome}}/base/docs/System.Directory.html#System.Directory.currentDir

import System.Directory

partial
main : IO ()
main = do
Just d <- currentDir
putStrLn d

ElmのBoolcomparable型グループじゃないんだ……

水を飲みて源を思う - 台北の水の秘密を探る飲水思源頭長版(日文語音字幕)
youtu.be/HXzAxb7m81U
(from nicovideo.jp/watch/sm39356054)

… もっと見る

juliu.is/ditch-your-version-ma

ちょっとNixに興味出てきた
(使うかどうかは別として)

idris2-lspのインストールバトルに敗北中

Idrisのマスコットキャラクターは赤い竜(またはトカゲ)なのかな