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
星にゃーんの十戒