• takoeight0821
  • Malgo
  • Malgo タスクリスト
  • Sisku タスクリスト
  • Grokking the Sequent Calculusを読む
  • Malgoのファイルパス解決
  • Macクリーンインストール大会2024
  • Codataの話
  • Korielのパーサを書いた話
  • 日記 2022/12/28
  • CabalとStackでSiskuの挙動が違う問題
  • WalkerScript
  • Make a Lispをやってみている
  • プログラミング言語紹介：Zig
  • アイディア
  • 日記 2022/11/28
  • DerivingVia
  • 日記 2022/11/23
  • 日記 2022/11/21
  • 星にゃーんの十戒