Tags · Functional

2025

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

2024

09-03 Lean 初见笔记