プロシン最終日

温泉でやらないプロシンの意味とは...

うちの発表は二件、AgdaによるHoare Logicと、RakuのServer baseでの実行でした。

そこそこ質問も出ててよかったかな。確かに fork して実行する方がいいか。

懇親会には gather を使ったんですが、あんまり参加しませんでした。

https://prosym.org