Community for Functional Programming Enthusiasts
主催 : λ Kansai
Recursion Scheme の紹介
Lean はマクロでできている
LOSの検討(λ Kansai 2026 in Winter)
Alloy6 (線形時相論理 + 有界モデル検査) でモデリングしてみた
初めてのLisp自作譚
UI Collabo のご紹介(λ Kansai 2025 in Summer)
PPL 2025 に行ってきた
フロントエンドエンジニアが関数型プログラミングに出会った話
ねこでも分かる 様相論理のお気持ち
『モナドドリル』書いてます
OCamlを始めるには時期が良い
Nix入門 devShell
幻のLispマシン
変な関数
関数型プログラミング入門(仮)