Tags · Functional

2025

03-27 所以这个 Monads 到底是什么啊之让我学学

01-06 仿生电子锈会梦到自己变成纯函数式吗：gleam 语言初见

2024

09-03 Lean 初见笔记